Add fmpz_factor_append and use is_probabprime_lucas in is_prime_pocklington.