Arduino Library to use with the ultrasonic sensor HC-SR04