use dev branch for Travis and coveralls badges