[tool] add brief package info to output of --version
[tool] bury dead code
[db] compensate for broken OT names tables
Merge pull request #188 from phi-gamma/texlive2014

fix crash with broken names table