implemented purge of src repo

The file-based source repository now properly removes cached source files
when they are removed from the index.