Now generating variants.h is made by a pure OCaml program.
Added a custom intro file for the documentation.
Added a tutorial.
Merge branch '1.8'.
Merge branch '1.8'.