Display total symbols count in main `<PackageNav>`

[Delapouite]

Hello

In order to have a quick glance to "the surface API area" of a given package, it would be great to feature the total number of symbols more prominently.

Here's a quick mock-up of what it would look like in the main tabs labels:

Thanks