* stable-3.1:
Fix copy for safari and also copy on formatted text
RestApiServlet: Initialize traceId with Optional#empty() to avoid NPE
Removing legacy on-tap
Fix keyLocation computation on ranged comments
Remove the extra done in gr-reporting_test
Update highlight.js to include soy
Update building docs for building highlight.js
config-gerrit: Remove superfluous quote mark
Stop query from executing if predicate is empty
Highlight jinja2 syntax
Highlight Jenkinsfile as groovy
Update highlight.js
Verify Gerrit changes also on NoteDb
Don't sort messages returned by Jenkins
Fix string formatting in Jenkinsfile
Fix RejectedAccessException during posting checks in Jenkinsfile
Remove unnecessary SCM checkout from Jenkinsfile
Fix expected response code when posting checks in Jenkinsfile
Use basic auth for posting checks
Add Jenkinsfile for verification pipeline
Change-Id: Idced49c86a8ccaf627fb6045399d06934cc3fff2
af476fa4b9