[devtools] Implement equivalent of git shortlog in HTML