Many debugging and improvements for submitting to the MiniZinc Challenge 2014.

Added generator for Regular. Cumulative is buggy and is not activated for MiniZinc.