Doxel's lidar-equipped robots can boost construction productivity by catching mistakes as they happen.