* Add robots.txt

* leave *.userprefs unrevisioned

* update gitignore