ab/coccicheck-incremental (was: What's cooking in git.git (Nov 2022, #01; Thu, 3))

> * ab/coccicheck-incremental (2022-11-02) 13 commits
>  - spatchcache: add a ccache-alike for "spatch"
>  - cocci: run against a generated ALL.cocci
>  - cocci rules: remove <id>'s from rules that don't need them
>  - Makefile: copy contrib/coccinelle/*.cocci to build/
>  - cocci: optimistically use COMPUTE_HEADER_DEPENDENCIES
>  - cocci: make "coccicheck" rule incremental
>  - cocci: split off "--all-includes" from SPATCH_FLAGS
>  - cocci: split off include-less "tests" from SPATCH_FLAGS
>  - Makefile: split off SPATCH_BATCH_SIZE comment from "cocci" heading
>  - Makefile: have "coccicheck" re-run if flags change
>  - Makefile: add ability to TAB-complete cocci *.patch rules
>  - cocci rules: remove unused "F" metavariable from pending rule
>  - Makefile + shared.mak: rename and indent $(QUIET_SPATCH_T)
>
>  "make coccicheck" is time consuming. It has been made to run more
>  incrementally.
>
>  Will merge to 'next'?
>  source: <cover-v5-00.13-00000000000-20221101T222616Z-avarab@gmail.com>