Merge pull request #123 from riscv/gdb_timeout