Changed the string descriptions of generated constraints in the Data_state module.
Added some hacks for printing names (there were problems with deprecated stuff) and printing one constraint per line (if it is a simple conjunction).
Merge branch 'master' of github.com:aeolus-project/zephyrus