Remove all traces of nginx.

Now that it has been replaced everywhere by haproxy.