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.
Automatically make SMT options from command-line option names, warn when not possible.