flyspeck: add how to generate smt2