add robots.txt and prepare for #41