mathlib3

chore(.travis.yml): use git clean to clean out untracked files

#659

Merged