Make the parsing of command line getopt-compliant.
These commits make Why3 follow the
getopt standard way of parsing command-line options.
-L fooboth work.
- Short options can be concatenated, e.g.,
why3 wc -tfa.
- Arguments can be made optional, e.g.,
getoptway is standard!
- Long options with arguments now need a
--library foois no longer recognized;
-L foo) should be used instead. Note that the
--library=foostyle was already recognized before, so compatibility can be ensured.