Added code to make Nginx proxy requests, instead of using our
dumb CGI script.
Retired old nph-proxy.cgi script.