Release v1.0

• Release presented at the WP9 workshop at DTU in the fall of 2022 (Nov. 30-Dec. 1).
• See https://docs.google.com/document/d/1Xo_IS1w-Um0e-Ks_mvlQ0ylmPIvlp9rqTfxWrDgG9Kg for versions of the dependencies installed from a Git repository.