git-gui: support for $FILENAMES in tool definitions