[TypeTree] Switch to external TypeTree library
[Documentation] Document new dependency on dune-typetree
Merge branch 'feature/remove-typetree'

As the title says: TypeTree is now an external dependency.

* feature/remove-typetree:
  [Documentation] Document new dependency on dune-typetree
  [TypeTree] Switch to external TypeTree library