Making search work for readthedocs theme.  It borrows client side code f...

...rom sphinx but has no dependency on that project.

Syntax highlighting doesn't work when you click through to a page, but that shouldn't be too hard to fix.

Sorry for doing this on master, I was in a rush at work.
I might be missing something here, but don't we still need the theme.js?