Change Travis-CI setting to use master branch of DART