Adds ajax pagination to search results [#898]