Fixed return null;
Some work on Runners
EchoRunner is almost Alloy-free: Only has the vizualizer.
Merge remote-tracking branch 'origin/kodkod_backend' into kodkod_backend

Conflicts:
	plugins/pt.uminho.haslab.echo/src/pt/uminho/haslab/echo/alloy/AlloyFactory.java