CmdResult
better results
Merge branch 'master' of https://github.com/MfesGA/Hsmtlib

Conflicts:
	Examples/sudoku.hs
	Examples/te.smt2
	src/dist/package.conf.inplace
	src/dist/setup-config