Added ARingQQGMP, and made it hopefully easy to switch between gmp/flint versions