gifdiff: Difference reports to standard output
Remove unused.
Background does not exist unless there is a global color map.
gifdiff: Add --ignore-background option.
Always optimize as if the background is transparent.

This is safer, since most displayers nowadays ignore the background.
Report from Lars Dieckow.