Repositories of the moves-rwth Organization
Adds redirects for repositories which moved to the stormchecker organization:
- moves-rwth/storm-benchmark-logs moved to stormchecker/storm-benchmark-logs
- moves-rwth/storm-doc moved to stormchecker/storm-doc
- moves-rwth/stormpy moved to stormchecker/stormpy
- moves-rwth/stormvogel moved to stormchecker/stormvogel