Use curl as default downloader for solvers#5757

tautschnig merged 1 commit intodiffblue:developdiffblue/cbmc:developfrom

tautschnig:curltautschnig/cbmc:curlCopy head branch name to clipboard