Add option to configure NGINX real ip#185

Kevinjil merged 1 commit intomainDOMjudge/domjudge-scripts:mainfrom

nginx-real-ipDOMjudge/domjudge-scripts:nginx-real-ipCopy head branch name to clipboard