CircleCI branch filtering on push-ci branch
To avoid the branch `push-ci` (the branch to launch the actual Push CI on GitHub actions) to run `CircleCI` tests, as those are already run when the commits are merged into `main`.

The `filters` could not be added directly in the job definitions, like
```
    run_tests_torch_and_tf_all:
        filters:
            branches:
                ignore:
                    - circleci_branch_filtering
        working_directory: ~/transformers
```
nor
```
    run_tests_torch_and_tf_all:
        <<: *job_filters
        working_directory: ~/transformers
```
otherwise I got error
```
... [#/jobs/check_code_quality] extraneous key [filters] is not permitted|   |   Permitted keys:
```

See
https://stackoverflow.com/a/57366603
_The documentation is not available anymore as the PR was closed or merged._<|||||>I will close this PR, once #17692 is merged (as it is preferred).