Removed unused parameters in the button event handlers setters
Added checkboxes to enable notification and random colors in settingsView
Merge pull request #194 from cs2103aug2014-w13-1c/jin/gui

New settings (notifications and random colors)