Software PWM arduino library for NICTA ed1 board