This commit introduces a new feature in the FilteredTree : returns the number of tasks if we apply some filters to the current tree (but without effectively applying them).

This is now used to get the tag count easily.

Also, workview is not anymore a special case. It's only a filter like any other and it should eventually not appear anywhere but in filterbank (and in its UI button).