Update libraries/router.php

$_SERVER['HTTPS'] could be set, but empty