Merge pull request #1 from anemator/master

A fix for the parser stand-alone build scripts, some Makefile cleanup, and an update to the README for the build process (QCheck)
reworded README in a few places, added to list of syntactic shortcuts and todos
added note about contributing, Microsoft's MAML, and `val rec` syntax