BibDocFile: ignore purely numerical extensions
BibRank: superseeded records catchup

* Fixes detection of superseeded records when doing the citations
  catchup in the citation indexing phase.
miscutil: simplification of wash_for_utf8

* Uses '.decode("utf-8", errors)' instead of a while loop.

Tested-by: Jan Aage Lavik <jan.age.lavik@cern.ch>
Signed-off-by: Federico Poli <federico.poli@cern.ch>
WebSearch: renames HepData tab

* Renames the label 'HepData' to 'Data' in the details page.
* Renames the url 'record/123/hepdata' to 'record/123/data'

Signed-off-by: Federico Poli <federico.poli@cern.ch>

Conflicts:
	modules/websearch/lib/search_engine.py