New location for octomap_mapping on GitHub