GDB: support for setting gdb/gdbserver paths

Developers using Avocado's GDB support may need to use their custom build of gdb and gdbserver, or simply their system has those at a different location.