Hi,

This patch adds a handler for SIGTERM.

The main purpose is to ensure that GDB quit through quit_force() and
therefore properly disconnects from the target. This is quite important
for our target interface and should do no harm for anybody else's.

It also ensures that --return-child-result works when GDB exits this way.

Thanks

Andrew Stubbs