libgmp-related build error

[Jan Stolarek]

> I checked some older (with commits up to March 29, 2013) build trees and I
> see that in libraries/integer-gmp/gmp there are files like gmp.h and
> libgmp.a that are not present in my latest build tree.
Strange. I'm looking at the commit history at github and I see no gmp.h in the repository in 
commits as old as 2009. Am I misunderstanding or not noticing something?

Janek