Searchable docs

Yes, this issue was already raised before, see Add sitewide search to igraph.org. Indeed, the lack of a proper search function is quite annoying. Having that properly implemented will definitely make it a lot easier for people to start coding with igraph.