First release of drh tools

Tools for parsing files from DrHook

Main tools: drh.sh and drdiff.sh
Other tools: wall.sh, drtime.sh or memprof.sh