Ext filter

Add ExtFilter, which implements filtering by file extension. Add dedicated needles for extension; that way, we can use nice, cacheable term filters.