#593 Allow annotations on automata

• Best to review per commit.
• Notes:
  • I had to unfold some OptAnnos in the CIF syntax to prevent conflicts.
  • The CIF pretty printer printed the annotations for all components also in their body. This was fine for specifications, but not for any other components (automata are the first ones that get annotations). Fixed that.
  • I extended the annotations pretty printer tests, to cover all CIF parser rules and their code in CifParserHooks. Some rules were split. Some other rules were simply not covered at all yet.
  • Made sure the annotation-related information in the documentation of the two CIF to CIF linearization transformations is in sync again.

Addresses #593 (closed)