Python scripts to output XML from Clang's AST