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>