Added some modules
renamed module name
* Implemented pseudoprime test which is needed for both Gröbner basis computation and polynomial factorization
* Moved modpow and repeatedSquare to Algebra.NumberTheory.PrimeTest (might be changed later)