github-proxy: Instrument mutex contention

Created by: ryanslade

I think it'll be useful to see if this is an issue before we attempt making it limit by token as described here: #15751