[git-stats] a simple script for user statistics

* Computes the lines added/removed to a git repository by the specified user.
* The script should be run from inside this git repository.