Handle batch 11 except for libclang-15-dev which cannot be analyzed

This MR resolves the failures in batch 11. There are two packages that stand out: libclang-15-dev and libflint-dev.

The failure for libclang-15-dev is solved but a-c-c wants to use more than 4GB of memory and therefore dies.

The one for libflint-dev is solved too but it's difficult to make sure that absolutely all headers are analyzed because the correct inclusion order is not obvious. It should still be pretty good though.

There are much more detailed explanations and comments in the commit messages for the corresponding changes.