Add noindex tag to search results

Search results shouldn't normally be indexed, given that they can be generated for arbitrary queries. This patch adds a noindex tag to the head.
Added batistapeniel.org to sites in README.
Merge
Added Samir Shah to AUTHORS.