Dynamical zeta functions, Nielsen-Reidemeister theory and Gauss congruences