notable repository API changes
+ added `.find()` to easily match all documents
+ added `Finder.deleteAll()` to delete all matching documents
- removed `.deleteAll(Criteria)` superseded by above
+ made empty criteria optimized to invisible static singleton
described/suppressed unchecked cast warning in javac