cubicweb #1624857 [facets] mark titles of active facets with red dot [resolved]

to make it easier for the user to realize some facets are active, even when they are folded

prioritynormal
typeenhancement
done in3.13.0
load0.500
load left0.000
closed by#daee8aec3b9b [facets] mark titles of active facets with red dot (closes #1624857)