Fix for curious GCC 4.8 translation with -O.
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