GDB timeout fix. If a script takes a long time and does not produce any...

GDB timeout fix. If a script takes a long time and does not produce any output, ping between every command.

git-svn-id: svn://svn.berlios.de/openocd/trunk@710 b42882b7-edfa-0310-969c-e2dbd0fdcd60