Arduino library and examples for an I2C interface to an SD card