Core and secp have not used gmp for a very long time now (core disabled it in 2015). Signed-off-by: Jon Griffiths <jon_p_griffiths@yahoo.com>
Few extremely minor updates to the ubuntu dockerfile and ci builds
Signed-off-by: Vincenzo Palazzo <vincenzopalazzodev@gmail.com>