Hide doc search

Related to issue #1063. As the api documentation search is not really efficient, we decided to kill the search and use google insead. To do this, I hid the searchbox by putting into comments the searchbox,html extent call in layout.html.