feat(.travis.yml): export and run leanchecker
feat(.travis.yml): export and run leanchecker

This should detect multiple definitions with the same name as in #27.

leanprover-community/mathlib,leanprover-community/mathlib