A very fast on-disk database for SHA1-identified objects