Updated the Jenkins installation instructions.
Merge branch 'master' into docs/jenkins
Merge branch 'master' into docs/jenkins
Merge branch 'master' into docs/jenkins
Merge remote-tracking branch 'github/docs/jenkins' into docs/jenkins
Updated installation instructions for Jenkins CI
Updated Jenkins installation instructions.
Updated the Installation script for Jenkins.
Merge branch 'master' into docs/jenkins
Updated the INSTALL Jenkins documentation with proper shell command.
Merge branch 'master' into docs/jenkins