Add dialyzer tests to Travis CI