retry dep downloads 10 times
Merge branch 'retry_use_source'
Remove xml coverage generation which is breaking builds on jenkins
Remove rebar_covertool plugin, breaking jenkins build
use public git url for mini_s3
Merge branch 'master' into release