This adds the jqwik dependency for property based testing, like Haskell’s QuickCheck.
This finally makes the licensing under AGPL-3.0-or-later explicit after I got the okay from the kickstart source owners. This also checks the REUSE compliance in a pre commit hook, and therefore also in CI.
This automatically generates a code coverage report on every execution of `mvn test`.