Cleanup, add support for 'git check-ignore'

Now nothing happens if a deleted file was ignored.