Is your feature request related to a problem? Please describe.

At
https://drake.mit.edu/jenkins.html
we provide a link to
https://github.com/RobotLocomotion/drake/blob/jenkins-jobs-experimental/request-jobs-experimental.txt
with jobs that a developer can run.

Sometimes on a PR I want to run "all the jobs". However, if I just copy-paste that list into my PR, it ends up re-running any jobs that are also pre-merge that have already passed.

Describe the solution you'd like

Change request-jobs-experimental.txt to partition out the "already pre-merge" jobs into a new list at the top, or create a new request-jobs-*.txt file with the subset of jobs listed.

Describe alternatives you've considered

(1) Do it by hand every time.

(2) Skip redundant requests (e.g., if same merge-base and same git sha and already green). This is really complicated?

(3) Add more bot command(s), i.e. @drake-jenkins-bot all-provisioned-production please.

Additional context

N/A.