updated tex debugger to work with dvisvgm