Changed order of monomials in BasisOverCoefficientsRing and fixed the reduced echelon form in IdealBasisToGroebner

Solved the problem with IdealBasisToGroebner.
coding style
added some comments.
Fixed IdealBasisToGroebner

Belongs actually to a commit before.
Extended RadicalOfIdeal for unperfect rings.
Created new gd/gi file: ToolsForNonPerfectRings
Fixed FGLMToGroebner
Declared and installed PolysOverTheSameRing.
Declared and installed SepUnvollkommen
Declared and installed MatrixEmbedding
coding style
fixed output of an example.
Added examples for MatrixEmbedding and PolysOverTheSameRing
coding style
Inserted the examples in the documentation

PolysOverTheSameRing and MatrixEmbedding
Added comments and fixed something in MatrixEmbedding
Changed declaration and added comments in ToofsForNonPerfectRings
Outsourced a part of RadicalForIdeal.

This part will be needed in IsPrimeZeroDim.
Changed some stuff in PreparationForRadialOfIdeal and RadicalOfIdeal

Is not working for the non perfect case since there are some problems with IsPerfect and SepUnvollkommen.
Fixed some stuff in PolynomialsOverTheSameRing