Microcontroller targeted C library for Kalman filtering