Fix Arch Linux rosdep mappings.

Cf. #2891
Merge pull request #2891 from bchretien/master

Fix Arch Linux rosdep mappings.