doc: add Minarto to the credits

Signed-off-by: David Aguilar <davvid@gmail.com>
widgets: rename 'file' to 'filelist'

`file` is a Python built-in so rename our module.

Signed-off-by: David Aguilar <davvid@gmail.com>
dag: remove unused `args` variable

Signed-off-by: David Aguilar <davvid@gmail.com>
gitcmds: minor style fixups

Rename `file_name` to `filename` and change the order of arguments. Use
the `if <list>` form to check for empty lists instead of calling len().
Adjust the text labels to say `Filename`, `Additions`, and `Deletions`.

Signed-off-by: David Aguilar <davvid@gmail.com>
dag: suppress renames when showing the file list

Diffs are not correctly shown when files are renamed because the numstat
output will display `oldpath => newpath` as the path, which will not be
understood as a valid path by Git.

Suppress rename detection so that we always deal with real paths.

Signed-off-by: David Aguilar <davvid@gmail.com>