utility/constants.cpp: switch to carl::parse from carl::rationalize

carl::parse supports more syntax variants for specifying rational numbers, e.g., 1.23e-10 (scientific notation), 1/24 (fractions), ...

src/storm/utility/constants.cpp

@@ -402,7 +402,7 @@ namespace storm {
 
         template<>
         RationalNumber convertNumber(std::string const& number) {
-            return carl::rationalize<RationalNumber>(number);
+            return carl::parse<RationalNumber>(number);
         }
 
         template<>