math.primes.solovay-strassen: adding Solovay-Strassen primality test.