Fix whoosh version to 2.5

Apparently it is needed, otherwise there is an error when the site is loaded.