Update the build to reference the most recent version of
scala smt-lib and adapt the code to the new API.

Replace some use of NonStandardCommand by built-in standard
Commands of scala smt-lib.