Add a robots.txt into the gitignore