Add CIF to CIF transformation to anonymize names

I propose to add an CIF to CIF transformation to anonymize all names. It can be useful to add models to confidential/proprietary models to bug reports, but there are other uses as well.

The transformation would only change the names of all named objects. E.g. automata can be named aut1, aut2, etc, groups grp1, grp2, etc. Names need to be unique within their scope.

Some concepts will likely not be supported, to prevent creating invalid models. Converting an automaton to a string, for renamed locations, which could be compared to other (fixed?) strings, would change the model semantics. We should probably not support converting automata to strings.

This transformation would not anonymize string literals, SVG and print file names, etc.