Small fixes

gravatar.pl is used for fetching avatars for Gource.