Adds arguments support for moolloy
Merge branch 'master' into amalgam-moolloy-arguments

Conflicts:
	src/kodkod/multiobjective/MultiObjectiveSolver.java
Merge pull request #53 from TeamAmalgam/amalgam-moolloy-arguments

Adds arguments support for moolloy