Documentation concerning the continuous functional calculus

A library note giving advice on developing and using the continuous functional calculus, as well as the organizational structure within Mathlib.