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 Storm without SMT-Checker #282)
• without Eigen
• without xerces
• without CLN and GiNaC
• without GLPK
• without hwloc

The CI job already detected multiple issues:

• shipped Carl did not compile without CLN and GiNaC
• minimal build of Carl needs changes of CI job with minimal dependencies carl-storm#40. In particular, the patch step of Eigen in the shipped Carl requires a valid git committer.
• a larger number of tests are failing due to missing SMT solver
• Glpk needed reconfiguration after removing examples folder

[tquatmann]

current state LGTM!

[tquatmann]

LGTM! Just one minor comment.