Add test for the new operator

Currently the CPP library is not built in cmake builds

Author: Thomas Kiley

regression/cbmc-cpp/cpp-new/main.cpp

@@ -0,0 +1,9 @@
+#include <cassert>
+
+int main()
+{
+  int *some_data = new int(10);
+  assert(some_data);
+  assert(*some_data == 10);
+  return 0;
+}

regression/cbmc-cpp/cpp-new/test.desc

@@ -0,0 +1,10 @@
+CORE
+main.cpp
+--pointer-check
+^EXIT=0$
+^SIGNAL=0$
+^VERIFICATION SUCCESSFUL$
+--
+^warning: ignoring
+--
+Ensure that the new operator is implemented.