Update README.md

add gmplib ref