Add --skip-sync to ./dev pull-requests-prep, and other tiny tweaks

--skip-sync allows much quicker re-runs of pull-requests-prep if sync has already been run recently.  I also tweaked a few other tiny things whilst reading the code.