Clean up DOT files, too.
'strawman' -> 'demos/smoketest'.

The 'strawman' project has always really been about smoke testing TESLA with a very integrated demo. This commit moves strawman to demos/smoketest and provides similar infrastructure to other demos (run ./demo with or without -DTESLA).
Not every field will require instrumentation!

Especially once we enable a "annotate every structure field access", there will be lots of fields with annotations with no corresponding access instrumentation.