[Next] GWL: add notification badges to panel icons

[fredcw]

Continuing on from the great work by @romario-07 in #12561 this adds a different color notification badge on the right of the icon and both badge sizes are adjusted automatically to the size of the icon. The "Show window count numbers" config option is removed as it seems fairly pointless.

@clefebvre @mtwebster Is this too late for the beta?

28px panel:

40px panel (Mint default):

48px panel:

The issue mentioned in this comment is fixed.

In Mint-Y, 40 px:

closes #10124

Here's the updated cinnamon.css for testing purposes which needs to go in /usr/share/cinnamon/theme
cinnamon.css.zip

[clefebvre]

Yes, new features don't go in past BETA.

[anaximeno]

I don't know if I like the two numbers side by side (it excludes a big portion of the top of the icon and presents two conflicting pieces of information side by side, requiring more effort than necessary to interpret the values since they are very close, despite having different colors). We could try to think of a better way to present that information until the next merge period for the next release.

[Secret-chest]

The "Show window count numbers" config option is removed as it seems fairly pointless.

Why? I'm not using a phone OS