Move read-manifest into a subdirectory.

Make room for other tools, like graph-manifest (about to be committed).
Cleanup: this should never have been here.

This is apparently a copy+paste error: it's from my locally-modified LLVM tree, not TESLA itself.
Cleanup: move CMake directive up in tree.

Move this directive to the highest directory where it might be useful, rather than repeating it within the tools directory (or at least, preventing duplication when I commit graph-manifest).
Add code to convert assertions to automata.

This code interprets programmer assertions about program event ordering (in the TESLA IR) as explicit NDFA. This will allow use to be much more rigorous about the creation of instrumentation code; it's currently quite ad hoc.

TODO:
 - finish recursive parsing of repeated events
 - handle AND, XOR operators
TESLA tool: TESLA IR -> .dot for visualisation.
Merge branch 'master' of github.com:CTSRD-TESLA/TESLA
No, THIS is the right way to print u64...