Previewer for DVI files
