reformat freeciv-proxy.py a bit