CIF explorer 'edge minimization' actually removes duplicate transitions
We should change the description of the option, JavaDoc, code that uses it, documentation, etc. The option name --edge-minimization
is also wrong. We should add a new option, with a new option name, and deprecate the old option.