Changed the infrastructure for how the claferArgs are set up
Fixed i235, in this situation treat '->' as ':'
Fixed i226

http://gsd.uwaterloo.ca:8888/question/948/unary-minus-generated-incorrectly-for-alloy42
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 i226
Fixed i74

http://gsd.uwaterloo.ca:8888/question/338/problem-with-translation-of-abstract-clafers-in?answer=1004#answer-container-1004
Fixed i188

http://gsd.uwaterloo.ca:8888/question/803/integer-values-that-repeat-disappear
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
Merge branch 'develop' into i74
test case from i74
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'
merged with develop