Add Gravatar function, and git difftool shortcuts