carmen2simplemap(1) on Linux

The text dd91b1c2de3b, as Debian 9 (Stretch) shipped it.

Convert robotic datasets between CARMEN and simplemap formats

carmen2simplemap(1) on Linux now