Remove deleted files from local and remote git indexes (fix #395)