New location for humanoid_navigation on GitHub
Merge pull request #1963 from ahornung/patch-23

New location for humanoid_navigation on GitHub