svg external bitmap

This patch enables saving bitmaps in svg as external files, so as to reduce output size and rendering costs, and allow easier post-processing of bitmaps.

Currently only DCT images can be saved as jpg, other images are still embedded in svg.

`get_bitmap_path()` is private and the callers always treat its return value the same way as `html_renderer->str_fmt`.