stereo_tri: Keep saving point cloud as double as an option, off by default