OFHTTPServer: Make the server name configurable.