solve alloy module
Merge branch 'solve_alloy_model'

Conflicts:
	Manifest.txt
Don't ignore bin/build
parse Alloy expression like Evaluator

Use 'print' or 'p' command followed by an Alloy expression to get
Evaluator-like output.