fixed dev branch name in travis config