Update 2014-07-02-how-to-write-gdb-command-file.md

Update 2014-07-02-how-to-write-gdb-command-file.md