Add dialyzing to Travis recipe.