Add a clean configuration for expr2c

This configuration can be used in place of expr2cleanc

Author: thk123

src/ansi-c/expr2c.cpp

@@ -36,6 +36,12 @@ expr2c_configurationt expr2c_configurationt::default_configuration{true,
                                                                    "TRUE",
                                                                    "FALSE"};
 
+expr2c_configurationt expr2c_configurationt::clean_configuration{false,
+                                                                 false,
+                                                                 false,
+                                                                 "1",
+                                                                 "0"};
+
 /*
 
 Precedences are as follows. Higher values mean higher precedence.

src/ansi-c/expr2c.h

@@ -39,6 +39,7 @@ struct expr2c_configurationt final
   }
 
   static expr2c_configurationt default_configuration;
+  static expr2c_configurationt clean_configuration;
 };
 
 std::string expr2c(const exprt &expr, const namespacet &ns);