Freeze lambda ml files, remove .ml from clean steps of Makefile and tidy
dependency generation. Include ExtrOcamlBasic so Coq_bool is extracted
to bool (and lists, etc)

This partially reverts commit 32dab984b1e0450013018f6565768409fa4697cd.

Slightly hacky, force the = function syntax into a match.
Also rewrite variables using "'" as javascript doesn't support that.