Travis: use dual-tree and monoid-extras from Hackage, and add postscript