dreach_tool: add delta_reachability.tex