use curl silent|show-error params instead of no-progress-meter (#850)
use curl silent|show-error params instead of no-progress-meter (#850)

the latter were only introduced recently...
joernio/joern,joernio/joern,joernio/joern,joernio/joern,joernio/joern,joernio/joern,joernio/joern,joernio/joern