Ultrasonic sensor support in Arduino Firmata and MIRTOlib.rkt