add robots.txt

Add a robots.txt.