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
Merge pull request #274 from mmklee/sync

Sync
The meaning of GCD/LCM for numbers is not defined by mathematics