Propose to add --curl-options for advanced curl settings

[LabordePierre]

Propose to add --curl-options for advanced curl settings in run.sh

example usage in gitlab:

./smalltalkCI/bin/smalltalkci -s --curl-options '--ssl-no-revoke' 'Pharo64-13' .testing.ston

We can work on it.