Python: cleaning up git history