added more stuff

ABOUT TO DO _ BitVec n

Added echo

Added declare-const

Added get-model

Added sort without a literal parameter (default to 0, instead of giving
error)

Added reset

Added get-assignment

Added get-proof (get a proof for Isabelle/other SAT solvers - kind of
like a counter example)

Added get-unsat-core