added check for the normalization correctness of the Hurwitz prime field search result. TODO: this check will sometimes fail, because renormalization in C++ is not correct/hard to implement. Therefore the renormalization has to be implemented in GAP itself.
added optimizeConstruction()- option and probably fixed a small issue with the upper bould example counting ( the mpz_t counter return variable was initialized twice)
some documentation added
testing sandbox
 nothing changed
 just commenting RootMultiplicity function