Optimization in Development Tools
Greatly improve usability of the project filter.
* Hide directories which don't contain any of the filtered items
* Show how many items were hidden in each directory through a "... X filtered" entry
* By clicking that entry, allow expanding and unexpanding the filtered items