* stable-3.0:
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: Id78327e509ab6a93f63b5929dc7408c219903376