Hijacking somewhat: does anyone know of a small time series db library for C? Looking at doing data logging with a RPi and wondering if there's anything better than CSV in terms of file size efficiency