Remove Gerrit references in provider types and project helper

In compliance with eclipsefdn/helpdesk#6237 (closed), references to Gerrit should be removed from the ECA verification API. This is used in retrieving repos for a project and as an option when processing verification requests, which can both be removed.