Add system exception for os-related error

Author: danpoe

src/util/exception_utils.h

@@ -38,4 +38,23 @@ class invalid_user_input_exceptiont
   }
 };
 
+class system_exceptiont
+{
+private:
+  std::string reason;
+
+public:
+  system_exceptiont(const std::string &reason) : reason(reason)
+  {
+  }
+
+  std::string what() const noexcept
+  {
+    std::string res;
+    res += "System Exception\n";
+    res += "Reason: " + reason + "\n";
+    return res;
+  }
+};
+
 #endif // CPROVER_UTIL_EXCEPTION_UTILS_H