Create Solovay.h

Solovay–Strassen primality test