chore(.travis.tml): Removed tools/proof-checker
fix(shell/parser/parser_2): Add defines tag
fix(.travis.osx.yml): typo