git ignore and attributes. line end normalization
revised Markdown formatting
fixed formatting and added instructions for running on Windows

Recommending `-Xms1340m -Xmx1340m` on Win.
Added option to preserve unique names

added required functionality for ClaferMooviz
resolved conflict
added sublime files to gitignore
Checks system to set maxHeap

also added manual argument passable in commandline to set maxHeapSize
Updated Readme
Added some functionality for error reporting.
Merge commit
ClaferIR
Z3 Translation
updated README, bumped version to 0.3.2 for the release
Merge branch 'develop'