imports optimized.
Basic struture for viewer implementation
Kodkod instances can now be visualized.

Still needs some work in the graph readability
Merge remote-tracking branch 'origin/master'

Conflicts:
	plugins/pt.uminho.haslab.echo/META-INF/MANIFEST.MF
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/engine/alloy/AlloyContext.java
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/engine/alloy/AlloyHelper.java
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/engine/kodkod/KodkodContext.java
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/engine/kodkod/KodkodUtil.java
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/mde/model/EVariable.java