configuration for nginx; serving at port 8000
support websockets thru nginx