On the coordinate rings of quiver varieties associated to extended Dynkin diagrams Arithmetic topology in Ihara theory. II: Milnor invariants, dilogarithmic Heisenberg coverings and triple power residue symbols 