Update david-dm and travis-ci images