CI job with minimal dependencies

[volkm]

Added CI job with minimal dependencies based on the Docker image storm-basesystem:minimal_dependencies. This requires manual builds of CLN and GiNaC, and therefore should detect issues such as #38.

I bumped CLN and GiNaC to the latest version. I also considered using the provided archives instead of the git repositories but they only provide an archive for the latest version and not previous versions. I expect that this would lead to issues for each new release of CLN/GiNaC.

The CI job detected multiple issues:

• the patch step of Eigen requires a valid git committer which is now configured during the patch step. This should make the commit in CI job with minimal dependencies storm#520 obsolete.
• use Python3 for GiNaC build
• use CMake for Cln and GiNaC instead of autotools. This makes the build process easier and allows to only build the library instead of everything (documentation, examples, tests, etc.)

[volkm]

Also enabled CLN and GiNaC for Apple Silicon again as the the latest CLN 1.3.7 supports ARM.

[volkm]

I suggest to merge this before the next release, but it is not strictly necessary.