Add getproperty for Tangent{<:Cholesky}

[rofinn]

Initial code for closing #640. I'm open to changing what it checks, but this seems like any easy way to minimize breaking changes for now.

[devmotion]

My intuition is that we would want getproperty(x::Tangent{<:Cholesky}, :U) == getproperty(x::Tangent{<:Cholesky}, :L)'. I think that's not satisfied by the PR?

I guess it might also be useful to define getproperty(x::Tangent{<:Cholesky}, :UL) (at least for completeness and to avoid ZeroTangents in that case as well).

[sethaxen]

One of the challenges with this approach is that we can't capture the logic present in this rule:

ChainRules.jl/src/rulesets/LinearAlgebra/factorization.jl

Lines 531 to 543 in 6ff4c31

	∂F = if x === :U
	if F.uplo === 'U'
	C(factors=_maybeUpperTri(Ȳ),)
	else
	C(factors=_maybeLowerTri(Ȳ'),)
	end
	elseif x === :L
	if F.uplo === 'L'
	C(factors=_maybeLowerTri(Ȳ),)
	else
	C(factors=_maybeUpperTri(Ȳ'),)
	end
	end

Because we don't have access to the Cholesky object's uplo field, we don't know the relationship between factors, U, and L. e.g. if uplo=='L', then a user requesting ΔC.L should be given LowerTriangular(ΔC.factors), and a user requesting ΔC.U should be given LowerTriangular(ΔC.factors)', but the case is completely different if uplo=='U'. Currently this rule will only work when Symbol(C.uplo) == sym. I'm not certain if/how this can be resolved, short of modifying Tangent to include metadata from the primal object.