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)
Currently the website has no robots.txt and I think we want to exclude /search from being indexed. (Archweb does something similiar)