add extra libs
formatting
python needed for ghc fingerprinting
build with r9b

Had to also update gmp, the old version fails with the 4.8 toolchain
Merge pull request #24 from joeyh/ndk-r9b

Ndk r9b