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.
This is a good point by Lukas,  that naming could be a little confusing.  it's possible that naming may even mess up our introspection of filters, not sure.

Anyway, I think I agree with Lukas, I'd like to keep setCaseSensitiveFilters(String...) but back it by a lazily created Set.  That naming is in line with setStrict and setCaseSensitive, which are more modifiers that filters.