Implement object tracking support for C++ new, delete

[elazaro-riverside]

There are a few testcases in the juliet testsuite that use C++'s allocation mechanism that is not currently tracked in libresolve. We also do not track the memmove function which might be used in some of the tests.