PWM with regular digital IO and with digital pin that supports PWM generation

Dependencies:   mbed

shortlog@56cc90ae5080: not found in manifest