* Seal the representation of states * Compile with -principal -warning-error @3
Revert the integration of menhir for the time being. Revert "Cherry pick use of menhir features from branch feature/menhir." Revert "Further simplify Remakefile. Remove some inefficiency in module dependency checking script." Revert "Remove passing $NATIVE on the remake command line of every target, since variable contents are propagated." Revert "Modify configure.in and Remakefile.in to use menhir instead of ocamlyacc."
Refactor HTML Tracing to not depend on external files (style, javascript). Add a general facility to turn a file into an OCaml string. The content of file.ml.str is turned into let content = "..." in a file file.ml.
Refactor the run module, moving out of the Make functor everything that can be moved. Slightly improve the cache module by avoiding one comparison during find on some cases and remove manual call to Gc.compact in main, since it does not seem to help.