Adding a robots.txt file - fixes bug 892189