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.