Combined module compilation and linking was not fully correct, modules
would only be output when opened, but not referenced.
All output now wrapped in the appropriate module object.
Still todo is a process of linking the dependencies together and
addition of module or file name to the logged output.

The method of hooking on to previously marked log elements causes issues and unmarked entry points. I need to redo this properly from js_of_ast with marking of returns to log directly.

Remebered ctx creation also needs to be added after each function entry, so .log.js versions not currently working with interpreter example.

We don't actually make use of the env at all in the recursive js_of_ast
function. It's also present as part of the tree structure we're
recursing over, so completely superfluous anyway.

Oddly enough, field accesses weren't in scope. They're most definitely
required.

We can rely on the OCaml type system for consistency of type correctness
when we have a nameclash between modules (hopefully)

Unfortunately pretty formatting and indentation doesn't work correctly, though this doesn't stop it from working.

Still needs a polish in order to detect:
-Not an actual return line
-return line does not call function
-Proper padding and indentation (I gave up after trying 3 hours)

Manual rewrite of the log_source to see how to implement better logging generation. Beginning of function calls will report correct variable being analyzed. There seems to be something missing when calling another function, and still nothing in the top right box.

We can now run the calc example from the ./run.sh script. Note how when generating the tree we must take into account annotation names used in the ml code.

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.