TSDB: Time Series File format library & tool