Add robots.txt

This won't stop these pages from showing up in Google's index when they have
inbound links, but doesn't really do any harm either.