v2.9.0

This release adds various improvements and features to the XSTS formalism and tool.

• Printing metrics.
• New PROD_AUTO domain.
• Parse and verify Petri nets in PNML format.

Thanks @mondokm!