Add more protobuf operator==() functions.
Don't repeat automata in cat output file.

When combining several .tesla files, don't output the same automaton multiple times. Allow several input files to contain an automaton (as can happen when automata are defined in header files), but check to ensure that they are identical; if they are, output just one copy into the result file.
Trivial: whitespace.