Added IfThenElse validation
IfThenElse has now a user interface representation
The grammar now decides over how a string is actually represented, e.g. removing the " " in the start and the end
Duplicated variables get now handled properly
Merge branch 'master' of github.com:software-engineering-amsterdam/poly-ql