Remove deleted files from git repository history

Sometimes it happens that a teammate commits unwanted files to [...]