Add a robots.txt to speed up 404 pages

Search engines often hit this page when crawling, so we get a not
insignificant decrease in server load by not 404'ing it