Improve grouping of libraries

[koesie10]

This implements the following improvements to the grouping of libraries:

• Libraries can now be collapsed
• Libraries which are fully modeled are collapsed by default
• Each library shows the number of methods, the number of usages, and the modeled percentage
• When a library is collapsed, the number of methods and the modeled percentage are shown in the row with the library name
• Libraries are sorted by their modeled percentage and the number of usages rather than name

Screen.Recording.2023-06-19.at.16.54.38.mov

Checklist

• CHANGELOG.md has been updated to incorporate all user visible changes made by this pull request.
• Issues have been created for any UI or other user-facing changes made by this pull request.
• [Maintainers only] If this pull request makes user-facing changes that require documentation changes, open a corresponding docs pull request in the github/codeql repo and add the ready-for-doc-review label there.

[starcke]

Looks good to me.

[starcke]

👍