In the anticipation of unit tests, show how to emit an AST from clang

Eventually we will compare the AST emitted by TESLA clang with that of
a manually annotated C program.

svn:r635

Author: sjmurdoch

kernel/tesla-clang

@@ -6,6 +6,8 @@
 ################################################################################
 
 TESLA_ARGS="-Xclang -load -Xclang TeslaInstrumenter.so -Xclang -add-plugin -Xclang tesla -Xclang -plugin-arg-tesla -Xclang instrumentation.spec -no-integrated-as"
+#TESLA_ARGS="-cc1 -ast-print"
+#TESLA_ARGS="-cc1 -load TeslaInstrumenter.so -add-plugin tesla -plugin-arg-tesla instrumentation.spec -ast-print"
 
 ARGS="$TESLA_ARGS $*"