[Therion] Turning LIDAR point clouds into cave maps