Replace git log with git shortlog

[amedee]

• git shortlog is about 4x faster than git log and parsing with sort and uniq.
• the numerical output is exactly the same, but git shortlog prints a bit prettier.
• you will want to use --no-merges.