Added a jenkins-specific configuration file.