gdb: add version suffix

* Now gdb executable is named as "gdb-7" where "7" is the major
  version.  This makes using system gdb and Homebrew gdb at the same
  time easier.