Use Dialyzer on Travis