Track IDE type/name
We should track the currently used IDE and show that in the statistics. We could do this already by checking the user-agent of the plugin against some allowlist, thus a change to the plugins is not required (but we'd need to alter the allowlist for any new plugins).