implemented basic [i283]

http://gsd.uwaterloo.ca:8888/question/1146/execute-multiple-generators-in-a-single-run
print stats only once

instead of for each compiler result
Alloy mode by default
fixed containment layout
generate a hyperlink to a child page for clafer declaration
generate Map ClaferMode ClaferResult

instead of  [ ClaferResult ]
multi-mode validation
Merge pull request #42 from gsdlab/i283

implemented [i283]