Open source implementation of Elliptic Curve Primality Proving algorithm, using just the GMP library