CI: trigger stormpy tests after changes in Storm

After commits to master, we should also trigger stormpy in the future to catch incompatibilities between Storm and stormpy as soon as possible.
But let's first restructure the CI in https://github.com/stormchecker/storm/pull/892 before extending it with this idea.