update gitignore for robots.txt.dist