When moving the documentation of the parallel index sets from dune-istl
to dune-common, we forgot to adjust the installation directories accordingly.
This patch fixes this situation.