Improve solv file handling

Implements both switching to written solv files and rewriting after addfileprovides is called.