gdbserver: Add debug-file option