JBIDE-18188 HTML5 Palette: provide a way to filter palette groups,

Add option to show only palette groups which libraries defined on the current html page
does not matter