__tesla_sequence should have expression type.

The __tesla_sequence "function" should "return" the same type as all other TESLA expressions (currently the confusingly-named __tesla_event*).

Use varargs in __tesla_inline_assertion so that we can pass an expression or a boolean combination of expressions.
Add tesla::Identifier.

This is a protobuf message that can identify an automaton either from an assertion location or an explicit programmer-supplied name.
More operators on Location, Identifier.

We need equality and comparison operators for use with containers, etc.
Remove some TODO items.

Now that DFA::Convert(NFA*) works, remove things marked with "TODO: remove once DFA::Convert(NFA*) works"!
Allow 'graph' flags to be overridden.

This is handy for e.g. graphing the non-deterministic versions of automata.
Rename InlineAssertion -> AutomatonDescription.

We're actually going to use the same message to describe explicit automata, as well.
Let an expression reference a sub-automaton.
Trivial: add a 'const'. Because we can.
Drop some unused code.
Change how Manifest works.

Parse all automata on creation, store them in a name->automaton map and then just reference them later.
Add an inline assertion with field modification.
Add a boolean expression within a sequence.

Just to test that this sort of thing does, in fact, work.
Test the 'optional' predicate in an inline assert.
Oops: forgot to add Parser decl/defn files!
Parsing code for explicit automata.
Trivial: drop unused import.
Trivial: move include to alphabetical place.
HACK: increase (fixed) number of classes.

We need to actually pass through the correct number, but for now, this works too.