Simplified method: GeneralizedMorphismFromFactorToSubobject
Started Serre Quotient.
Merge remote-tracking branch 'Sepp/master'

* Sepp/master:
  Simplified method: GeneralizedMorphismFromFactorToSubobject