Show number of additional commits after tag

This is more useful than an arbitrary string like "dev". In the
future, we might also include the branch name here.