Add ArduinoTimer::reset()

Author: giulcioffi

cores/arduino/timer.cpp

@@ -30,4 +30,8 @@ void ArduinoTimer::start() {
 
 void ArduinoTimer::stop() {
   timer->obj->stop();
+}
+
+void ArduinoTimer::reset() {
+  timer->obj->reset();
 }

cores/arduino/timer.h

@@ -18,6 +18,7 @@ namespace arduino {
       ~ArduinoTimer();
       void start();
       void stop();
+      void reset();
 
     private:
       mbed_timer* timer = NULL;