Add sphinx-generated searchtools.js

[malarzm]

searchtools.js generated by readthedocs has

/* Search initialization removed for Read the Docs */

by the end instead of

$(document).ready(function() {
  Search.init();
});

I'll report it there in a moment

[Ocramius]

ARGH, can't we use an already existing version hosted somewhere?

[malarzm]

I have no clue, the other project I picked up randomly also has the init missing but somehow the search there is working... I think we can wait for their reply