Make it possible to use `modules` or `packages` configurations with `files`

Feature

Make it possible to use modules or packages configurations with files.

Pitch

Currently, when using modules or packages configurations with files, we get the following error:

usage: mypy [-h] [-v] [-V] [more options; see below]
            [-m MODULE] [-p PACKAGE] [-c PROGRAM_TEXT] [files ...]
mypy: error: May only specify one of: module/package, files, or command.

I did not see any mention of such restriction in the documentation.

Nevertheless, it could be useful to check in a single mypy execution:

• the core packages with modules or packages, which configurations seem to handle correctly pkgutil-style namespace packages (see #9393),
• other standalone scripts (tools, tests, ...) with files.

module/package, files, or command エラーを出力する mypy のコマンドライン検証から始め、modules、packages、files の設定ドキュメントと比較します。1 回の呼び出しで、設定されたモジュールまたはパッケージを単独のファイルと一緒にチェックでき、既存の namespace-package の動作もカバレッジに含まれていれば完了です。