travis: don't need to build monoid-extras and dual-tree from github anymore