Implement filtering by priorities.

From Jaydeep, thanks!

Also includes a fix for expanding the tree whenever filtering changes.
and some added tooltips, whatsthis and KUIT.

REvIEW: 105760
BUG: 214879
FIXED-IN: 4.10
MERGE: backport the expandTree() stuff *only* to 4.8 and 4.9