#1164: fix jenkins stop command

[jan-vcapgemini]

Adresses/Fixes: #1164

Implements:

• added new JENKINS_HOME environment variable to devon.properties
• renamed JENKINS_HOME in jenkins script to JENKINS_CLI_HOME
• added jenkins home folder creation to doSetup
• added override of java user.home to each java command of jenkins
• added first version of admin password retrieval
• added new param target_filename to doInstall
• added extra condition to doInstall to provide a filename for doDownload
• replaced doDownload in jenkins tool command with doInstall
• adjusted extraction of jenkins-cli.jar in doSetup of jenkins (jenkins-cli.jar was removed from WEB_INF folder in later jenkins versions)
• replaced password with auth file