switching from Alloy4.2-rc to Alloy4.2 release
new version, automatic `alloy4moo.jar` download
copy `alloy4moo.jar` during installation
updated README to include Alloy4MOO as a dependency
new version 0.3.0.1 (hotfix)
updated args description to Alloy4.2
fixed constraint rendering with comments

removed extra <br> tags
updated readme, changes, makefile, cabal, and test suite in preparation for 0.3.1 release
Merge branch 'develop'
Fixed formatting
improved CSS
improved simplified graph rendering
added `--show-references` command line argument

works for simplified notation graph rendering
argument defaults reverted to 'def'

<style> tags
simple graph generation tweaks
bumped version to 0.3.2, fixed issue [153]

http://gsd.uwaterloo.ca:8888/question/695/non-exhaustive-patterns-in-function
Refactored - moved 'highlightErrors' to Generator/Html. This function is
called from clafer.hs and ClaferWiki/ClaferCompiler plugin.
integrated Ed's fix for [138]

http://gsd.uwaterloo.ca:8888/question/639/duplicate-names-in-top-level-clafers

Didn't want to do brach merge. Manually integrated fragments of code to
avoid the test commits and other unnecessary changes.
fix for issue [149]

http://gsd.uwaterloo.ca:8888/question/680/clafer-mgraph-produces-dot-file-with-an-absolute?answer=706#answer-container-706

Calling `takeBaseName` to create digraph's name instead of
`dropExtension`.
optimized rendering of references and rendering of ` as containment

http://gsd.uwaterloo.ca:8888/question/537/render-clafer-models-as-a-graph
point 4.
rendering of nested inheritance as containment