changing Github logo, so to comply with branding guidelines