CI job with minimal dependencies

[volkm]

Added CI job with minimal dependencies based on the Docker image storm-basesystem:minimal_dependencies:

• without Z3 (as suggested in https://github.com/moves-rwth/storm/issues/282)
• without Eigen
• without xerces
• without CLN and GiNaC
• without GLPK
• without hwloc

The CI job already detected multiple issues:

• [x] shipped Carl did not compile without CLN and GiNaC
• [x] minimal build of Carl needs changes of https://github.com/moves-rwth/carl-storm/pull/40. In particular, the patch step of Eigen in the shipped Carl requires a valid git committer.
• [x] a larger number of tests are failing due to missing SMT solver
• [x] Glpk needed reconfiguration after removing examples folder

[tquatmann]

current state LGTM!