v0.3.1

Identical code to v0.3.1, but contains a fix to include all files in the Zenodo export.

Release notes for v0.3 follow.

Updated for Isabelle2024.

• The code in this repository is now the same state as the AFP entry.
• The Dockerfile has been updated to use the Isabelle-bundled Go installer (see also the README).