Added a check box to toggle case sensitivity in the search box.
Merge branch 'dev-gradle' of https://github.com/dcpounds/wpi-suite into search-bar
Merge branch 'dev-gradle' of https://github.com/dcpounds/wpi-suite into search-bar
Merge branch 'dev-gradle' of https://github.com/dcpounds/wpi-suite into search-bar
Merge branch 'dev-gradle' into search-bar
added gui for category filter
Merge branch 'dev-gradle' of https://github.com/dcpounds/wpi-suite into dev-gradle
added back end support for catFilter
Merge branch 'dev-gradle' of https://github.com/dcpounds/wpi-suite into catFilter
Merge branch 'dev-gradle' into catFilter

Conflicts:
	TaskManager/src/main/java/edu/wpi/cs/wpisuitetng/modules/taskmanager/view/ToolbarView.java
added color category filtering
Merge remote-tracking branch 'origin/dev-gradle' into catFilter
Merge branch 'catFilter' of https://github.com/dcpounds/wpi-suite into catFilter
added yellow query for non-visible searches that do have results
Merge branch 'dev-gradle' into catFilter