[Jenkins] Add master build in pull-request-builder.py