dreach_tool(*): update
dreach_tool(*): check point
dreach_tool(*): update
dreach_tool: pick up HSCC'13 intro, remove prelim
dreach_tool: update abstract
dreach_tool: make drh a separate section
dreach_tool: checkpoint