Remove non-websocket proxy.
Allow websocket connections though nginx.
Update freeciv-web server startup scripts to be compatible with current version.
Allow freeciv-proxy to run on separate port,
and improve proxy debugging.
Correctly parse port number.
Show correct client IP in freeciv-proxy.
Allow load balancing of websocket connections to freeciv-proxy.