Redirect to HTTPS via javascript.