* tools: Add script to fetch-pull-request. Improves #397. * tools: Add script to fetch-rebase-pull-request. Improves #397.