EV3-G API: ultrasonic sensor · Issue #364 · ev3dev/ev3dev-lang-python ...