Projects API filtering by mirror
### Problem to solve
As a DevOps Engineer, I want to monitor project mirroring, so I can receive a notification whenever a mirror doesn't work so the code isn't properly mirrored.
### Intended users
[Devon (DevOps Engineer)](https://about.gitlab.com/handbook/marketing/product-marketing/roles-personas/#devon-devops-engineer)
### User experience goal
The user should be able to use the API to search which projects have a mirror, without iterating all projects, to check each mirror status.
### Proposal
Add a new filter "with_mirrors" (boolean, not required) to "/projects" endpoint.
### Links / references
https://docs.gitlab.com/ee/api/projects.html#list-all-projects
issue