nginx: Return 403 for user agents corresponding to known AI robots.

* nginx-config/nginx.conf: Include @ROBOT-EXCLUSION@.
* head-node.scm (ai.robots.txt, robot-exclusion-nginx-file): New
variables.
(%nginx-config): Substitute “@ROBOT-EXCLUSION@” in the config file.