git_add_gui: Check if there are any modified files

If the working copy contains no modified files, then just abort early.
git_add_gui: Add ability to specify files

If changes in only specific files need to be staged, these files can be
explicitly given when running the script.

Fixes #1.