Redirect to HTTPS with some JS mojo

Achilleas Pipinellisrequested to merge
https_redirect into master

GitLab Pages cannot enforce HTTPS (yet).

Therefore, let's at least support it with a hack :)

Merge request reports