doc(tools/flyspeck_code): update README
feat(tools/smt2_stat): add print_infix_formula
chore(travis): update secure keys
doc(README.md): use shield.io icon for builds