travis: don't use monoid-extras and dual-tree from git anymore