Update Travis CI for davinci-dev rename.
Update Travis CI for davinci-dev rename.