Add robot.txt
Merge pull request #239 from voltan/develop

Add robots.txt
Merge branch 'develop' into user
Merge branch 'user' of https://github.com/pi-engine/pi into user