Add robots.txt for aur-dev
I just had a user google "aur aquarius" and try to use https://aur-dev.archlinux.org/packages/aquarius, which of course didn't work. To normal users it isn't clear that they are using a development deployment.
If possible aur-dev.archlinux.org
should be removed from search engines and to avoid future listings a robots.txt
should be added, blocking all crawlers for the dev instance.