Update david-dm link to work after the repo name change.