Use of two timers to implement a counter of an external signal

Dependencies:   mbed