Data collector for the HC-SR04 ultrasonic sensor, for use with a Raspberry Pi