The compact, multi-platform time series file format