Library for use 4-pins PING sensor in Arduino And Tiva C (TM4C123G)