Quickly rewrite git repository history (filter-branch replacement)