added guards for leda / core
added test for class Modular added separate test for class Modular_traits
contains a Modular_type Modular_traits preliminar version of : chinese_remainder modular_gcd ( up to constant factor ) TODO: implement true modular gcd for multivariat polynomials