Infix search

This adds infix search to evopedia-html5. It still seems to miss some results, but this could also be due to a bug in the creation of the index.

Note that the commits from september were all reverted, I just wanted to get in sync again.