Decomissioning jenkins.tirasa.net for trevis-ci.org