Convert tabs -> spaces in include/storm/*.hpp
Convert tabs -> spaces in testcases.