add IDR processing in gmp wrapper
Add the external directory gmp-api to gitignore
Merge pull request #1007 from ruil2/gmp_idr

add IDR processing in gmp wrapper
Merge pull request #1011 from mstorsjo/ignore-gmp

Add the external directory gmp-api to gitignore