Simplify robots.txt file
Merge pull request #1425 from geoadmin/gjn_improve_robots

Simplify robots.txt file