Alternative https detection, when some nginx servers don't set flag $_SERVER[HTTPS]=on, even though a connection is https.