Assign a milestone for CMSDIST requests.

- Add new script process-cmsdist-request which implements the logic for
  assigning milestones.
- modify query new pull requests so that it can return recent requests
  from any repository (default cmssw).