Currently pplitepy only supports using FLINT integers. Add support for gmp and fully wrap the Integer class/integer conversions to/from c++ to python.