Fixed for issue i92 with refrences to clafers not integers

http://gsd.uwaterloo.ca:8888/question/440/incorrect-initialization-of-multiple
Changed the infrastructure for how the claferArgs are set up
added comments and examples to IR datatypes
Merge pull request #21 from gsdlab/i92

Fix for issue i92 with refrences to clafers (not addressing the parsing issue with integers)
Improved performance.
Fixed parentof, refto, colonto.
Fixed i235, in this situation treat '->' as ':'
stop copying the executable to root dir. new version after merging pull reg i92
Fixed i235 for ss=simple, ignore prev commit

http://gsd.uwaterloo.ca:8888/question/976/error-in-alloy-generator-maybefromjust-nothing
Fixed merge issues
Merge branch 'develop' into i236
Fixed i199

http://gsd.uwaterloo.ca:8888/question/867/add-attributed-feature-models-check
Merge pull request #22 from gsdlab/i236

I236
fixed merge conflict from develop
Merge pull request #24 from gsdlab/i235

I235
Fixed mismatching child and parent.
Fixed for the model

x ->> integer
y ->> integer
z -> integer = sum (x ++ y)

Where "sum (x ++ y)" did not compile.
Fixed test case 'case_refrence_Unused_Absstract_Clafer'
Added fold and map to traverse the IR
Merge from develop