Exactly solvable spin dynamics of an electron coupled to a large number of nuclei; the electron-nuclear spin echo in a quantum dot