Merge pull request #35 from richardxia/have-openocd-pick-gdb-server-port