WebSearch: sorting fixes
- Refactors sort_records() in search_engine.py in the same way rank_records() has been refactored: the new behavior of print_records() is to not reverse records anymore. So we can avoid reversing them beforehand too. (closes #1674)
Reviewed-by: Tibor Simko <tibor.simko@cern.ch>