doc(tools/flyspeck_code): update README
feat(tools/smt2_stat): add print_infix_formula