manager._wsgi_search now supports paged search results. formatting of whoosh search hits done by a custom formatter. test cases for highlighted fragments + paged results