This patch series adds the pipe command, that allows to send the output of a GDB command to a shell command. The first patch allows a command to repeat a previous command. Currently only used by the pipe command added in this series, but the idea is that the slash command will also use this feature to repeat a previous command.