make sure that travis runs dialyzer