Adaption after move of Storm to stormchecker organization#19

volkm merged 1 commit intostormchecker:masterstormchecker/storm-project-starter-cpp:masterfrom

volkm:stormcheckervolkm/storm-project-starter-cpp:stormcheckerCopy head branch name to clipboard