A library which interfaces a Raspberry Pi with a HC-SR04 ultrasonic sensor through the use of an AVR