WyCS: Partial fix for #421.

Added the ability to specify an external SMT solver on the command-line.
This will allow integration with @hjwylde SMT Verification Check.