1.4.8.3 `gif`, `jpeg`, `png`

The code for the terminals using the `gd` library has been consolidated. The `gif` terminal also knows how to produce an animated gif from a sequence of plots.