added an option to set the gdb executable. Useful to e.g. start cgdb (with a curses interface)