Removed case sensitivity in searching.
Merge branch 'dev-gradle' of https://github.com/dcpounds/wpi-suite into search-bar
Tasks now filter rather than highlight while searching.
Fixed bug where searching conflicted with archiving.
Merge remote-tracking branch 'origin/dev-gradle' into search-bar
Merge branch 'dev-gradle' into integration