jenkinsfile editor