useful defaults for robots.txt