Fix indentation issues in gdbserver.py.