bumping default GMP in Rakefile
tweaked manual
typo