Include dialyze target in travis script