GitHub - ethz-asl/wavemap: Fast, efficient and accurate multi-resolution, multi-sensor 3D occupancy mapping