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
chg: missing stuff from master
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
fix: naGcd/naLcm
*levandov: new version of tests by heinle for the new ncfactor lib
Merge pull request #276 from mohamed-barakat/spielwiese

*levandov: new version of tests by heinle for the new ncfactor lib
Merge pull request #274 from mmklee/sync

Sync
The meaning of GCD/LCM for numbers is not defined by mathematics
Added better test for testParametrization