Merge pull request #8 from flit/master

Fix indentation issues in gdbserver.py.