An Arduino library that controls the PING sensor (ultrasonic sensor) using a way faster than the regular pulseIn()