carmen2simplemap(1) on Linux

The text 2dedf8d7ecd6, as Debian 8 (Jessie) shipped it.

Convert robotic datasets between CARMEN and simplemap formats

carmen2simplemap(1) on Linux now