chore(.travis.yml): use normal build instead of full
chore(.travis.yml): use normal build instead of full
leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace,leanprover/ace