Python 3 migration: server.py and txws.py converted
Now running under python3
Merge
More fixes