Fix for ite of >=64bit wide bitvectors with unconstrained condition.
add construles, type_rules rm redundant, kinds cleanup
get-antlr error on missing config.guess
rm old unused code
Merge pull request #23 from kbansal/sets-model

Sets model
add str to u16/u32, and u16/u32 to str
minor typo/bug fix
add str to u16/u32, and u16/u32 to str
Merge branch 'master' of github.com:tiliang/CVC4
Travis-CI test for new-theory script, also related bugfixes.
windows build fix for UINT32_MAX
windows build fix for UINT32_MAX
Merge branch 'master' of github.com:tiliang/CVC4
Fixing bug 552.  There was a bug when integers are made using a string with a lot of leading 0s on old versions of CLN.
Merge branch '1.3.x'
Some incremental bugs for Boolean terms, fixed.  Thanks to Pantazis Deligiannis and Jeroen Ketema for discovering this issue.
Properly quote symbols in SMT-LIB printer.
Allow turning off the interactive prompt while in interactive mode.
For security, add --no-filesystem-access option, which disables SMT-LIB script access to filesystem.
fix for hiding prompt/header in shell, error-behavior options as in SMTLIB