Merge pull request #35 from zenhack/master

A few enhancments to the new makefile infrastructure
Updating: improving Makefiles
Updating: minorly improving
Updating: improving Makefiles
Updating: syntax hilighting for some EFFECTIVATS-examples
Updating: adding ats2-mode for emacs
Updating: syntax-hilighting EFFECTIVATS-examples
Updating: minorly improving
Updating: syntax-hilighting EFFECTIVATS-examples
Updating: miscellaneous changes
removed some cygwin exe files from git inclusion
Merge pull request #36 from bbarker/master

removed some cygwin exe files from git inclusion
Updating: misc.
Updating: very minorly
Updating: very minorly improving
Updating: improving Makefiles
added back flymake
Updating: improving Makefiles
Merge remote-tracking branch 'upstream/master'
Updating: syntax-hilighting