Modules Listing Page: Find a module > Categories should be a dropdown

MBD: We discussed the category checkboxes on project module pages. We have a lot more categories, and limiting them to this small number is not a sensible option. So we ended up suggesting a dropdown single select box for categories in the filtering area

See http://groups.drupal.org/node/20213 under "Module project listing pages" for original sketches.