An Emacs major mode to edit and run SMTLIB v2 files