New location for humanoid_navigation on GitHub