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