velodyne-to-csv: now can specify binary format as usual, e.g: --binary 3f