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.