fix cmm wrappers

  - add "ptr" annotations to foreign calls
  - add [] register annotations to foreign calls
  - use CInt instead of W_ for mpz size with W_TO_INT
  - always use BYTE_ARR_CTS when setting mpz limbs
  - fix typo bugs (R5_PTR was used instead of R6_PTR)
don't link system mpfr
build embedded mpfr with -j6
update static library mangling version number
mangle the profiling static library too
mpfr-3.1.2 <http://www.mpfr.org/mpfr-current/mpfr-3.1.2.tar.bz2>
port ghc/GC patches from mpfr-3.1.0 to mpfr-3.1.2
updated build system using autogen.sh from mpfr svn trunk
update used mpfr version
delete mpfr-3.1.0 (replaced by mpfr-3.1.2)
update to newer Cabal api
rename symbols in generated libraries
try using singletons
bump deps and use singletons
use singletons
broken attempt at using singletons
use KnownNat for singletons