pushed version number of mtl
pushed version number of containers
Merge branch 'master' of colo2-c703.uibk.ac.at:tct/termlib

Conflicts:
	termlib.cabal
withFreshCompounds introduces compound symbol always