Add missing include file

We will enable proper type checking when linking library symbols, which
(rightly) fails with a missing include file.

regression/cbmc-cover/built-ins2/main.c

@@ -1,3 +1,5 @@
+#include <string.h>
+
 struct mystruct {
   int x;
   char y;