Get rid of PORT environment variable

[dchiller]

We can always have the nginx server run at 8000 (or 80, if we want) because the edge router will handle requests to standard ports (e.g. 80 or 443) and can pass them to one or the other.