A reverse proxy, load balancer and HTTPS front-end for Web server(s)