The instruction pointer is part of the cannonical OS state. Since it may
be burried deep inside the OS memory (on stacks etc.) We duplicate it to
another place for now.

The verify.generate-mockup option also enables this option,
which uses application state machines to extract a more compact STG.

Sets the 'kind' field of a function that is an ISR to 'isr'.

This adds a new option `--mockup` to the generator that specifies the
path to the mockup generator's binary. Currently the default is
${PROJECT_BINARY_DIR}/stub.

This annotation forbids starting states, where a non-preemptable subtask
is running but has not the highest priority in the system.

The TIMING_POINT_NO_INTERRUPTS_IN_BLOCK annotation forbids the action of
interrupts in the end or begin block to be included into the state
graph.