Gerrit customization to retrieve the build status from Jenkins and mark the "Submit" buttons accordingly