Update mrpt_* stacks -> mrpt_navigation metapkg
Merge pull request #5212 from jlblancoc/master

Update mrpt_* stacks -> mrpt_navigation metapkg