as GIF implementation. They are src/binary compatible and mutually
exclusive, so this is a global choice.
Up to now, "libungif" is used by pkgs, due to patent problems. The
patents are said to be expired, and "giflib" gets somewhat better
maintainance upstream these days, so set the new default to "giflib".
