A javascript version of the pdftex compiler