dreach_tool: add missing exp.tex