[PATCH] gdbserver: install gdbreplay too

[Joel Brobecker]

> The gdbreplay binary is pretty useful, so install it by default like we
> do with gdbserver already.
>
> 2011-12-31  Mike Frysinger  <vapier@gentoo.org>
> 
> 	* Makefile.in (install): Install gdbreplay into $(bindir).

This seems reasonable to me, but I don't really know the history,
whether this was an oversight or a conscious decision. Let's wait
a little and see what others think...

-- 
Joel