small changes for nginx configuration
redirect port 80 to 443 if ssl is used