Added a search box to the top header.

Also deprecated jquery tools

fixes #15