This loops through PWM outputs connected to the red and green LED.

Dependencies:   mbed