Consider resetting the cache for --faster-skip-repeat-edit-suffixes for `Import` lines only after inlining

[JasonGross]

Note that this broke example 056, because we may fail to remove Import foo until after foo is inlined and exported. Possibly we should reset the attempt to remove Import lines only after inlining? This is addressed by https://github.com/JasonGross/coq-tools/commit/91c8dbad3f5453cdb7b28f2310be0e44195a60ce

Originally posted as https://github.com/JasonGross/coq-tools/pull/370#issuecomment-3593547879