We run the web server on port 80.

Various jiggery pokery goes on in docker, so that this port is only
exposed to the nginx container.

Note REPL port is exposed to the host.