bug: impossible to specify a configuration parameter on the tchecker.py CLI

[romain-dartigues]

Quoting the documentation:

-C key=value
Specifies a configuration parameter (described below).

But the getopt line does not set -C as expecting a value; example:

$ tchecker.py -D -C raise_uncertain=True myfile.py
Traceback (most recent call last):
  File "/usr/bin/tchecker.py", line 98, in <module>
    if __name__ == '__main__': sys.exit(main(sys.argv))
  File "/usr/bin/tchecker.py", line 41, in main
    (k,v) = v.split('=')
ValueError: need more than 1 value to unpack