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 strictFilters becomes a Set, this one needs to be changed to become:

```java
public void addStrictFilter(String strictFilter) {
```