Export options information

[anne-pacalet]

In another ticket, you said:

Today while washing the dishes I thought maybe the best way to try to move on this is that when cmdliner is invoked with --cmdliner it should simply dump on stdout all the static information it knows about command lines in some form of structured data format like json or sexp.

For documentation purpose, I would love to be able to export everything about the options in a JSON file. Do you still have this plan in mind?

[dbuenzli]

Yes, the recent discussion here

[anne-pacalet]

Excellent! 👍