Added test for sat
Added test for quotient
mv files to right folder

cherry-picks c4631fc

Conflicts:
	Singular/LIB/dmodloc.lib
	Singular/LIB/ncpreim.lib
Merge pull request #273 from mohamed-barakat/spielwiese

mv files to right folder
Merge pull request #271 from jankoboehm/spielwiese

Added test for sat
*levandov: updated bibliography entries
Merge pull request #275 from mohamed-barakat/spielwiese

*levandov: updated bibliography entries