A Skype bot that controls the Jenkins CI server