Manifest doesn't need to track multiple versions.

Each Manifest only needs to keep track of one automaton version (unlinked, linked or deterministic) per ID.

This simplifies the code and allows us to graph e.g. unlinked automata when there is a problem with the NFA->DFA conversion (as is happening on another branch at the moment).