Add robots.txt

Currently the website has no robots.txt and I think we want to exclude /search from being indexed. (Archweb does something similiar)