Run dialyzer on Travis CI