Style: add nolint marker on lines formated by clang

Add nolint marker on line with lambdas, which are formatted by clang
in a way that is not compatible with cpp-lint.

Author: romainbrenguier

src/solvers/refinement/string_constraint_generator_transformation.cpp

@@ -404,7 +404,7 @@ exprt string_constraint_generatort::add_axioms_for_replace(
     char_array_of_pointer(f.arguments()[1], f.arguments()[0]);
   if(
     const auto maybe_chars =
-      to_char_pair(f.arguments()[3], f.arguments()[4], [this](const exprt &e) {
+      to_char_pair(f.arguments()[3], f.arguments()[4], [this](const exprt &e) { // NOLINT
         return get_string_expr(e);
       }))
   {

src/solvers/refinement/string_refinement.cpp

@@ -1924,7 +1924,7 @@ exprt substitute_array_lists(exprt expr, size_t string_max_length)
 /// \return an expression
 exprt string_refinementt::get(const exprt &expr) const
 {
-  const auto super_get = [this](const exprt &expr) {
+  const auto super_get = [this](const exprt &expr) { // NOLINT
     return supert::get(expr);
   };
   exprt ecopy(expr);

unit/java_bytecode/java_object_factory/gen_nondet_string_init.cpp

@@ -65,7 +65,7 @@ SCENARIO(
               std::regex_replace(line, spaces, " "), numbers, ""));
         }
 
-        const std::vector<std::string> reference_code = {
+        const std::vector<std::string> reference_code = { // NOLINT
           "int tmp_object_factory;",
           "tmp_object_factory = NONDET(int);",
           "__CPROVER_assume(tmp_object_factory >= 0);",

unit/java_bytecode/java_string_library_preprocess/convert_exprt_to_string_exprt.cpp

@@ -68,7 +68,7 @@ TEST_CASE("Convert exprt to string exprt")
               std::regex_replace(line, spaces, " "), numbers, ""));
         }
 
-        const std::vector<std::string> reference_code = {
+        const std::vector<std::string> reference_code = { // NOLINT
           "char *cprover_string_content;",
           "int cprover_string_length;",
           "cprover_string_length = a->length;",