why3 prove: format of counterexample display
It should not be in JSON format by default, but a human readable format.
The selection of JSON format should be activated only by a command-line option
The "interleaved with source" format should not be the default too (too large) but only activited by an option too.