Proposal: remove github-proxy

Created by: slimsag

We don't use a similar service for other code hosts, and AFAIK this service came from a time when we had major issues enforcing GitHub rate limiting in our application. Is there a reason we should keep it around in today's world?

@sourcegraph/core-services