add code generation for Not(form)
add generated files
change compilation scheme for Not(form)
commit generated files
Add back generation for or and union on terms.
Fix generation not setting up the index and task engine.
Delete unused generate.str
Adapt conditioned relations to new runtime libraries.
fix TS/8: VarRefs were not renamed when desugaring Or with overlapping Vars

http://yellowgrass.org/issue/TS/8
fix TS/7: support 'trm has attr x' patterns where trm is not a VarRef
fix TS/9: $ escape in template was not handled in translation
generated files
test cases for bugs
Merge branch 'master' into coq-semantics