CRED: Wrap task credential accesses in the Coda filesystem