Add a method to Repository, collaborator_permission that allows users with push access to repositories to query the permission level of collaborators. Fixes #722