Criteria support for mix of strict/fuzzy and case sensitive/insensitive filtering in one query

[1136090] Resource selector may choose resources from other plugins than the selected one

After discussing with Thomas (the BZ owner) we decided the best approach
was to layer this fix on a new Criteria feature.  This commit adds:

 Criteria.setStrictFilters(String... filters);
 Criteria.setCaseSensitiveFilters(String... filters);

These now allow for some string-filters to be strict while others are fuzzy,
and similarly, some case-sensitive and some case-insensitve, in the same
Criteria fetch.
If caseSensitiveFilters becomes a Set, this one can be simplified to:

 if (!criteria.isCaseSensitive() || !criteria.getCaseSensitiveFilters().contains(filter)) {

And it avoids the creation of an ArrayList every time this method is called.