Rename remaining instances of leap to dagrt in documentation.