adding animations
Merge branch 'master' of github.com:williamstein/mazur-explicit-formula
code to compute mean zero sum animations.