The HTTP/2 Web Server with Automatic HTTPS