clang-format gcc_message_handler.{h,cpp}

These files have been moved and should now conform with our coding guidelines.

Author: tautschnig

src/goto-cc/gcc_message_handler.cpp

@@ -87,13 +87,11 @@ void gcc_message_handlert::print(
   }
 }
 
-void gcc_message_handlert::print(
-  unsigned level,
-  const std::string &message)
+void gcc_message_handlert::print(unsigned level, const std::string &message)
 {
   message_handlert::print(level, message);
 
   // gcc appears to send everything to cerr
-  if(verbosity>=level)
+  if(verbosity >= level)
     std::cerr << message << '\n' << std::flush;
 }