Checkpointing programs and some comments
change configure script to use --with-compiler

Cabal documentation says we should use --with-hc in configure scripts
but --with-compiler at the top level (option to ./Setup configure).
Turns out this documentation is out of date, flags were aligned
already six years ago (see cabal trac ticket #114)
Makefile help updated