an HTTP server via WSGI