updates tdag documentation

[kaoudis]

• includes some of the hopefully descriptive pictures from the ISSTA paper
• removes some stuff I don't think is entirely accurate or descriptive, and replaces it with references taken from source code (hopefully at a level that future refactors won't be problematic) and provides pointers into where to look for what currently