Add is_mersenne_prime