Add support for tcmalloc

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

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add goodies for extended numerals

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
Add instructions for clang, use markdown format
Add numerics/numeric_traits.cpp

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

Signed-off-by: Leonardo de Moura <leonardo@microsoft.com>
have separate cmake files for GMP and Tcmalloc

Conflicts:
	src/CMakeLists.txt
Add separate cmake files for GMP and Tcmalloc
Fix friend issues in mpq/mpz
Add inv method to interval

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