minor code clean up
minor spelling/cleanup
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
rename some files
add copyright to IDL theory
cleanup
ite simplifier minor cleanup
fix typo
spacing
Move some regress0 benchmarks to regress1, they took too long
checkTimer for arith
church.cims -> cvc4.cs
fix comment typos
file-level doc
fix typo