dreach_tool: update
dreach_tool: add Sean's commit
dreach_tool/appendix.tex