http => https redirection for servers behind a reverse proxy