Change default allpingers URL

Previously Mixmaster used an allpingers file from noreply.org which was
infrequently maintained.  This change points the default to a github
copy that many people can potentially maintain.