Add robots.txt. (This should have been here all along.)