Fix GitHub pull request builder plugin support

Change-Id: Iac1d06be91b641f7fccfe2255247443363ba2e80
Description Setter Plugin support added

This plugin sets the description for each build,
based upon a RegEx test of the build log file.

Change-Id: If3c8b3ec6e9c23ffe74a5e857618267936a0e989
add private-repository, java-opts, settings and global-settings to maven-target

Done to enable private repository for jobs making it more safe to
run concurrent maven builds and for allowing to control javavm and other
maven settings for maven build.

Includes moving doc example for maven-target as a test fixture.

Change-Id: Ic34958e9bf1008fbc71c45da85208ac1fda7aeb4
Enable ignore_cache flag on jenkins_jobs.ini

Parses jenkins_jobs.ini to look for an ignore_cache flag.
If ignore_cache command line option is sent, it takes priority
over the jenkins_jobs.ini configuration.

Change-Id: I88f1ce1aa0d3e0ad25d592d3ca44a022ec9249c3
Closes-Bug: #1193444
Pin Sphinx to <1.2

1.2 was just released and has a bug that causes builds to fail with
the error:

  error: 'source_dir' must be a directory name (got `...doc/source`)

See: http://bugs.python.org/issue19570
and: https://bitbucket.org/birkenfeld/sphinx/pull-request/193/builddoc-shouldnt-fail-on-unicode-paths/diff

Change-Id: I902db0d94200692f6737827645030be82bfb9e62
cloverphp publisher

Capture code coverage reports from PHPUnit, requires the Jenkins Clover
PHP Plugin:
 https://wiki.jenkins-ci.org/display/JENKINS/Clover+PHP+Plugin

Note: whenever the healthy targets are left blank, the v0.3.3 plugin
will fill in default values which then appears in the configuration. I
have ported that in Jenkins Job Builder to ensure clean diff in the Job
Configuration History plugin.

Change-Id: I9010dee62611094840304cdc2e7317b058d6495a
Fix format in installation.rst

There was a line throwing a Warning due a badly formatted bullet point

Change-Id: Ia8b70fadfb66c4d0c10631ef4bf37f01d38b9f02
Merge "Fix GitHub pull request builder plugin support"
Merge "Description Setter Plugin support added"
Merge "Fix format in installation.rst"
Merge "add private-repository, java-opts, settings and global-settings to maven-target"
Merge "cloverphp publisher"
Merge "Enable ignore_cache flag on jenkins_jobs.ini"