v2.0.5

This is a minor bugfix release for Caesar v2.0.0. See our release announcement on our blog.

New features:

• Caesar Verifier Visual Studio Code Extension
• Slicing for Error Reporting and Correctness
• Calculus Annotations for Proof Rules
• Model Checking Support via JANI