Remove proof subdir, this is now the Iron Lambda project
remove proof make targets
ddc-war: use tmp directory on windows
fix #277: Make 'applySimplifier' return a TransformResult
Remove TODO notice
fix #302: Don't try to lex the body of a block comment