WIP: fix up igsn-server.py to use sesarwslib.