a tool to transform tex file to plain text