Use jquery.chosen for the project filter

A giant array of hidden checkboxes hidden by default isn't a great
way to display the project filter. Using chosen we can always show
the filter and the list will be searchable as users type.

Change-Id: If0bcf013e20079b2bd2d3aba626997829b1d3ee6