Added a search box to the top header.

* Deprecated jquery tools
* Upgraded to jquery 1.9.1
* fixes #15
moved jquery-ui.js to jquery-ui.1.8.23.js
upgraded jquery.validate to 1.11.1
fixed scrolling through search box results
use GET params instead of hash
fixed some dialog box issues due to new jquery