[mm] ugh, removed outdated postscript.ml
[mm] fixed whitespace in harness.ml
[mm] updated comments in ps.ml
[mm] assertions and main compiling with corebuild. Much nicer.
[mm] documented phony
[mm] fix unused var warning
[mm] pass over the code for cleanliness