Set Gerrit change number as build description

Decorate the build description with a hyperlink that points back
to the Gerrit change under test.

Change-Id: I971f1c0bd94fc3a917699734f85662d8785e6bec
diff --git a/jenkins-docker/master/config.xml b/jenkins-docker/master/config.xml
index 4e3e6a4..3d4d604 100644
--- a/jenkins-docker/master/config.xml
+++ b/jenkins-docker/master/config.xml
@@ -26,7 +26,9 @@
   <projectNamingStrategy class="jenkins.model.ProjectNamingStrategy$DefaultProjectNamingStrategy"/>
   <workspaceDir>${ITEM_ROOTDIR}/workspace</workspaceDir>
   <buildsDir>${ITEM_ROOTDIR}/builds</buildsDir>
-  <markupFormatter class="hudson.markup.EscapedMarkupFormatter"/>
+  <markupFormatter class="hudson.markup.RawHtmlMarkupFormatter" plugin="antisamy-markup-formatter@1.3">
+    <disableSyntaxHighlighting>false</disableSyntaxHighlighting>
+  </markupFormatter>
   <jdks/>
   <viewsTabBar class="hudson.views.DefaultViewsTabBar"/>
   <myViewsTabBar class="hudson.views.DefaultMyViewsTabBar"/>
diff --git a/jenkins/gerrit-verifier-change.groovy b/jenkins/gerrit-verifier-change.groovy
index 279b1c3..092940c 100644
--- a/jenkins/gerrit-verifier-change.groovy
+++ b/jenkins/gerrit-verifier-change.groovy
@@ -218,6 +218,7 @@
   }
 
   println "Building Change " + changeUrl
+  build.setDescription("""<a href='$changeUrl' target='_blank'>Change #$changeNum</a>""")
 
   if(branch == "master" || branch == "stable-2.14") {
     modes += "disableChangeReviewDb"