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
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
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"