Make nginx proxy to Elasticsearch under /ES.

This is useful when accessing the web interface from behind a
firewall. Note that port 9200 is still open, this just adds
the /ES/ connection path in addition. Relevant for #1.