A PHP library to play with the Raspberry PI's GPIO pins