s3venti: venti server using Amazon S3 for storage