Removing version of ReportException which accepts an ArgException&, modifying ReportException to only print a message if std::exception::what() returns a non-empty string, and modifying ArgException to have an empty what().