Improved toString speed (good for the translation)
Improved memory footprint and speed
Merge commit '7c6bb2b800ca95f5bc0f72668288ff89cb46359c' into colange

Conflicts:
	src/main/scala/ch/unige/cui/smv/stratagem/sigmadd/rewriters/SigmaDDRewriterFactory.scala