chore(.travis.tml): Removed tools/proof-checker
chore(.travis.tml): Removed tools/proof-checker