mathlib3

ce92e8af - chore(.travis.yml): use Lean to determine the Lean version (#714)