Update examples.markdown: gwern.net repo home

I've ceased hosting the repo myself since it has grown to 1.6GB, and instead put it on Patch-tag.com, so the command is no longer correct.
Merge pull request #176 from gwern/patch-1

Update examples.markdown: gwern.net repo home