New regression tests
resolved conflicts with i131 regression
Added Optimizer to GHC options in make install
Added generated top level definition for Version.hs
removed --nr from of the test models so that we can test it's alloy
Added Skip_Goals Command option

Also added --sg to the 4 test/postive files that needed it

see:

http://gsd.uwaterloo.ca:8888/question/1059/add-a-parameter-to-skip-code-generation-for
Fixed typo in help message from previous commit
improved help message for `--skip-goals`
Added make new command
Merge branch 'WarningFixes' into i253
Changed name of new Make command
Added a feature where the compiler will give a nice looking error message for naming clafers with keywords
Merge pull request #30 from gsdlab/WarningFixes

Warning fixes
Merge pull request #33 from gsdlab/i253

I253
new version
updated with latest `develop`, resolved conflict