A Jenkins build monitor for the raspberry pi