Allow export to either PNG or JPEG

Right now, it allows the export to PNG only, which is fine for some. But others may have a hard time converting that PNG to a proper JPEG, without some loss in detail. If it was done at this editor level, that detail should not be lost.