admin repo: use checkbox instead of list
admin repo: use checkbox instead of list

When creating/editing repo, you need to select one or many projects this repo
belong to. By default, you have a list (need to hold shift for multiple
selection). This patch replace the list by checkbox

Genymobile/gm_pr,Genymobile/gm_pr