Discrete canonical system and non‐Abelian Toda lattice: Bäcklund–Darboux transformation, Weyl functions, and explicit solutions