Describir: Symmetry Preserving Discretization of the Hamiltonian Systems with Holonomic Constraints