Added make_monic_f and is_irreducible_rabin_f and used in is_prime_lenstra.