Include Sourcegraph extension usage status in pings

Created by: dadlerj

Include aggregate metrics on which Sourcegraph extensions are in use (with anonymized counts of users) in server pings.