template moved: List<Variable>, Union, Difference

Conflicts:

	libfac/factor/tmpl_inst.cc
fix: template instantiation for libfac

Conflicts:

	libfac/factor/tmpl_inst.cc
fix: more templates for libfac
chg: sync with master
64bits

Conflicts:

	factory/facBivar.h
	factory/facFqFactorize.h
	kernel/clapsing.cc
chg: some missing parts of Adi's commit
Added test for syz
Merge pull request #269 from jankoboehm/spielwiese

Added test for syz
chg: missing stuff from master
added Tst/short/Short/symodstd.*

it is rest of commit 8979f91:

modstd.lib: Example in modpStd has been changed.
symodstd.lib: Library for computing Groebner basis of symmetric ideals.

Conflicts:
	Singular/LIB/modstd.lib
	Singular/LIB/symodstd.lib
Merge pull request #270 from mohamed-barakat/spielwiese

added Tst/short/Short/symodstd.*
added symodstd.tst to Tst/Short.lst
updated docu + bugfixes
Merge pull request #272 from mohamed-barakat/spielwiese

added symodstd.tst to Tst/Short.lst
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