A simple tool for the Raspberry PI to control servos on the GPIO pins using pigpio