Correctly compute Github users' avatars

Currently, avatars are broken – probably because Github is transitioning away from gravatar. This should fix it.
I'd rather not make assumptions about the URL – my approach seems more resilient.