revert unwanted files from last submission (git does implicit add files,

when used "git add" before, even when you specify the other files during
"git commit $file" ....)