divisor_sum changes
Make is_pseudoprime act like is_strong_pseudoprime
doc change for ntheory