New location for octomap_mapping on GitHub (doc.yaml)