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