gmp: Update to version 5.1.2. (fix issue #10).
Compiling demos for test.