new extension: img.js for embedding images using TeX input