Added a new program 'prune_cache.py' which prunes old unreachable threads from the cache.