Added the Miller-Rabin algorithm for prime checking. Further optimisations for problem 60