Remove all jenkins-specific bits and bobs