Reducing RAM consumption by deleting unused caches

When the user deletes a buffer, we can delete the clang caches for that file.
Fixes #184.