Add missing <functional> include

Headers should include what they, and not rely on nonstd/optional to
provide the header.

Author: tautschnig

src/solvers/flattening/boolbv_map.h

@@ -10,6 +10,7 @@ Author: Daniel Kroening, [email protected]
 #ifndef CPROVER_SOLVERS_FLATTENING_BOOLBV_MAP_H
 #define CPROVER_SOLVERS_FLATTENING_BOOLBV_MAP_H
 
+#include <functional>
 #include <iosfwd>
 
 #include <util/type.h>

src/util/expr.h

@@ -15,6 +15,8 @@ Author: Daniel Kroening, [email protected]
 #include "validate_types.h"
 #include "validation_mode.h"
 
+#include <functional>
+
 #define forall_operands(it, expr)                                              \
   for(exprt::operandst::const_iterator                                         \
         it = as_const(expr).operands().begin(),                                \