Changelog:
- added Multi-objective Optimization (requires AlloyMOO)
- automatic scope analysis in ClaferIG
- integration of Clafer compiler, instance generator, and multi-objective optimization
- rending Clafer models as navigable HTML and DOT files
- fixed bugs
- language cleanup
