A simple PPM-format image editor.