A library for PWM functionality on xmos