implement on-disk caching of rev_list