[Termtools] suggestion: short IDs for problems

[Johannes Waldmann FbIMN]

Hello, and a happy new year to you all.

I think that descriptive names (identifiers) are generally a good thing
in software engineering. Also, it is important to not change names,
because we want to compare proofs from different years.

Anyway the plan is to re-organize TPDB and bring it into some data base,
and provide query options (select all problems with properties ...
and names like ...)

it seems entirely possible to add short unique  identifiers,
as an additional way to refer to problems.

Perhaps the Innsbruck group can comment on their plans with this respect.

Best regards, Johannes Waldmann.