Add a robots.txt

Add the robots.txt file in order to enhance SEO.