[Jenkins] add missing double quotes in pull-request-builder.py