add robots.txt - fixes #610