add a nextPrime(ZZ) function (as in sage)
