New location for humanoid_navigation on GitHub
Merge pull request #1964 from ahornung/patch-24

New location for humanoid_navigation on GitHub