No robots allowed

This adds the option that a site declares it wants a robots.txt that blocks all robots.
It will always install the file no_robots.txt to /etc/nginx, because it does not know whether a site might want it.
The default is off, so no_robots.txt would not be used.