Storm-doc has moved into the stormchecker organization repository!

Redirecting to https://stormchecker.github.io/storm-doc/