aligned with new version of clafer 0.3.0.1 (hotfix)
aligned with new version of clafer 0.3.0.1
on linux - an extra dependency on `zlibg-dev` and `libncurses5-dev`

which has to be manually satisfied
updated readme, changes, makefile, cabal, and test suite in preparation for 0.3.1 release
Merge branch 'develop'
updated version date
Fixed formatting and added IG
Revised abstract and added link to tech. report.
[i181], new version, gitignore sublime files

http://gsd.uwaterloo.ca:8888/question/780/output-instance-data-with-unique-clafer-names
i181 2) - added $ to separate name from instance number

http://gsd.uwaterloo.ca:8888/question/780/output-instance-data-with-unique-clafer-names
merge from develop to Scope