gmapping: updating to 1.3.2 (resolves #220)
Merge pull request #221 from KristofRobot/gmapping-update

gmapping: updating to 1.3.2 (resolves #220)