Configuring a web server to work over HTTPS