Required changes:
* Ignore ocaml.doc and ocaml.text attributes, which are now
  automatically extracted from comments.
* Swap type definition attribute syntax in test/* files.

Other changes:
* Add opam package file and `make init` command for dependencies.
* Change "Automatically Generated Attributes" documentation to comments.

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.