v0.3.0

Main user-facing changes in this release:

• Language support is feature-gated for faster build times. SCXML and JANI are default, Promela is optionally available.
• Improved support for the JANI format with a new model building algorithm.
• Removed the duration parameter as now execution termination is auto-detected.