Use Dialyzer on Travis CI