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
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