[installexternal.sh] Adapt path for dune-typetree installation

Merged Thomas Fetzer requested to merge fix/dune-typetree-git-repo into master

Merge request reports