General housekeeping of Makefile content, also got rid of an obsolete
file named calc.ml and its noweb form.