use originalFilename (?) in benchmark display and for comparisons

[jwaldmann]

there are several ways of denoting (indexing) a termination problem

• starexec benchmark id (but for each upload of tpdb, problems will get fresh ids, so it cannot be used to compare 2015 and 2014 competitions, and older results (uibk) don't have these ids at all)
• tpdb file name (tpdb promises to never overwrite files) (but some information has gone missing, e.g.
  SRS_Standard/Secret_06_SRS/5.xml is missing "jambox", see next item)
• original file name (the old TPDB entries have that, e.g., /SRS/secret06/jambox/5.srs)

so, what's best? I guess

• original filename if available,
• else tpdb file name.

[jwaldmann]

See also http://lists.lri.fr/pipermail/termtools/2015-August/001070.html and http://www.doi.org/

[jwaldmann]

Plan: two (global) maps. Assume DOI = Int for now, but keep it abstract

• toDOI :: BenchmarkID -> DOI
• fromDOI :: DOI -> Text (human readable name, to be shown in tables)
  these maps will be read at startup, from files or DB (not from starexec)

[jwaldmann]

micro-steps: read benchmark names from space files: commit 668fca0 ,
introduce DOI type: commit 0f5b972,
build DOI resolver at startup 92c762d

[jwaldmann]

not nice but it works: commit cc84625 ,
for usage example see http://lists.lri.fr/pipermail/termtools/2015-August/001083.html
note that urls for benchmarks in table look like http://nfa.imn.htwk-leipzig.de/termcomp-2015/resolve/tpi:21729 and are being redirected.