Implement proper caching mechanism for files during compilation

Currently, we "do it the way its always been done".  https://github.com/model-checking/kani/pull/1686#discussion_r984694402

We should have a principled choice for what to keep when.