Renamed rewritten Automaton lib to AutomatonV2, checked out Automaton lib from before rewrite.