Add options to select type of output

[franck44]

When support for proof objects is ready, we may generate two outputs:

• disassembled binary
• proof object

To select which one(s) to output, we may need a command-line flag.

to do

Add command line flag for output types in top-level Driver (in Dafny)