Started on test generator.
Merge branch 'master' of
https://github.com/dymkowsk/From_Alloy_to_C_sharp.git

Conflicts:
	edu/mit/csail/sdg/alloy4compiler/generator/CodeGenerator.java