add command line option --no-proxy to add proxy exceptions
ajoute une option --no-proxy a la ligne de commande pour gerer les exceptions de proxy