Rename 'tesla graph' arguments.

For an NFA, pass -n. For a "raw" NFA (pre-subautomaton-linking), pass -r.
It is sufficient to check error output.
Include protobuf "descriptor.h".

Funny that this compiles locally but not on Jenkins.