register common automata algorithms to abstraction

alib2algo/src/automaton/simplify/EpsilonRemoverIncoming.cpp

alib2algo/src/automaton/simplify/EpsilonRemoverOutgoing.cpp

alib2algo/src/automaton/simplify/Minimize.cpp

alib2algo/src/automaton/simplify/MinimizeBrzozowski.cpp

alib2algo/src/automaton/simplify/Normalize.cpp

alib2algo/src/automaton/simplify/Rename.cpp

alib2algo/src/automaton/simplify/SingleInitialState.cpp

alib2algo/src/automaton/simplify/Total.cpp

alib2algo/src/automaton/simplify/Trim.cpp

...2algo/src/automaton/simplify/UnreachableStatesRemover.cpp

alib2algo/src/automaton/transform/AutomataConcatenation.cpp

...aton/transform/AutomataConcatenationEpsilonTransition.cpp

...omaton/transform/AutomataIntersectionCartesianProduct.cpp

...src/automaton/transform/AutomataUnionCartesianProduct.cpp

...rc/automaton/transform/AutomataUnionEpsilonTransition.cpp

alib2algo/src/automaton/transform/AutomatonIteration.cpp

...tomaton/transform/AutomatonIterationEpsilonTransition.cpp

alib2algo/src/automaton/transform/Compaction.cpp

alib2algo/src/automaton/transform/Reverse.cpp