[PATCH] gdbserver: install gdbreplay too

[Joel Brobecker]

> aren't all users just developers in hiding ? ;)
> 
> i can drop it if people prefer not to install it

One thing I realized is that there doesn't appear to be any
documentation for that program. So, I looked at the program code,
and it says that it takes a log file of the remote and replays it.
But the documentation seems to also be silent about how to produce
that log file.  How does it work?

-- 
Joel