title: How to get project IDs for all repositories in a GitLab group (python-gitlab)?
body: <p>I'd like to automate a number of processes across all repositories in my collaboration's GitLab Group, which (at least as of GitLab API v4) requires project IDs rather than names.</p>
  <p>Does the <code>python-gitlab</code> library have a method for grabbing all project IDs for a given group?</p>