Add pin touches sample

src/demo.html

@@ -92,6 +92,7 @@ <h1>MicroPython-micro:bit simulator example embedding</h1>
               <option value="microphone">Microphone</option>
               <option value="music">Music</option>
               <option value="pin_logo">Pin logo</option>
+              <option value="pin_touches">Pin touches</option>
               <option value="radio">Radio</option>
               <option value="random">Random</option>
               <option value="sensors">Sensors</option>

src/examples/pin_touches.py

@@ -0,0 +1,12 @@
+from microbit import *
+
+def report_pin_touches(pin, p_num):
+    if pin.was_touched():
+        print('pin', p_num, 'was touched', pin.get_touches(), 'time(s)')
+
+while True:
+    if pin_logo.is_touched():
+        report_pin_touches(pin0, "0")
+        report_pin_touches(pin1, "1")
+        report_pin_touches(pin2, "2")
+        break