Fix bug 516; include some bug testcases.
minor code clean up
spelling/typos
clear up resource limit documentation
clean up file perms
Remove spurious Message that causes compliance issues.
arith option cleanup
cleanup timerstat example
some test cleanup
documentation for --enable-idl-rewrite-equalities option
rename some files
add copyright to IDL theory
cleanup
ite simplifier minor cleanup
fix typo
spacing
Mark some unused private members to squelch some clang warnings
Move some regress0 benchmarks to regress1, they took too long