Beta testing and documentation update build

Now the theory listing of itt can be build.
The release has switched the naive big int implementation to Zarith, so please be sure these dependencies are installed. Various bugs are fixed.

Documentation preliminary release

This release has tested the LaTeX print out functionality of MetaPRL. Currently only meta and czf's document are available. More will be come up after other theories get ported.

Compatible with OCaml 4.11.1 and CamlP5-7.13

This release fixed some bugs in 0.9.6.5-beta and updated some ASCII IO theory files. Editing CamlP5 etc/pa_o.ml is no longer required, although it stills need to copy some .cm* files from CamlP5 building directory. Fixed readline support in libmojave (on OS X it now actually uses editline and doesn't require GNU Readline).

Compatible with OCaml 4.11.0 and CamlP5-7.13

This release requires modification to CamlP5-7.13, see the project wiki.