Remove doc/comm as it is now part of dune-common Somehow the deletion of doc/comm got lost while resolving a tree conflict [[Imported from SVN: r1785]]