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`
Merge branch 'WarningFixes' into i253
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 regression test suite with Clafer v0.3.3.10-8-2013
updated 0.3.3 vs 0.3.2 comparison

everything as expected
removed regression-0.3.3

this will be created for the 0.3.4 release. For 0.3.3, the folder
regression contains the current regression test suite
updated versions of dependencies
merged `WarningFixes` into `Hierarchy`
work towards fix
Changed rSpan in ISuper is superKind

Less mapIR's with this method and better prepared for redefinition
merged `hiearchy` into Name-Resolver
work towards fix