make search field point to http://www.isn.ethz.ch
Issue #116