Repo selection in project: deassign repos from a project

(One known bug, added as issue #78, is that non-manager users can deassign repos).