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
Merge branch 'WarningFixes' into Name-Resolver