using merged kodkod
.
Merge remote-tracking branch 'origin/master'

Conflicts:
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/engine/kodkod/EKodkodMetamodel.java
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/engine/kodkod/KodkodExpression.java
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/engine/kodkod/KodkodIntExpression.java
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/transform/OCLTranslator.java
merging