Changed urls to use s3 #673
Added option to override default download url using -DDOWNLOAD_URL #673
Merge pull request #674 from lodle/feature673

Changed urls to use s3
Merge pull request #680 from karolherbst/bugfix615

rework #616
travis: coverity test