Arduino library for HC-SR04 ultrasound proximity sensor