Added a search box to the top header.

* Deprecated jquery tools
* Upgraded to jquery 1.9.1
* fixes #15