Update CMakeLists.txt to support OSX + Clang
Add missing header <numeric> to format.h
Fix memory leak in mpfp. Add mpfp finalizer to avoid Valgrind warnings.

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>