Fix #12601 (cli: Add --file-filter=- option that reads from stdin) (#…

Fix #12601 (cli: Add --file-filter=- option that reads from stdin) (#… #13803