Development: make the http server port configurable

To avoid clashing on the world's most popular alt-http port this allows the PORT to be configured via an env variable.