The HTTP Distribution and Replication Protocol