Arduino library for PID control