why3html : add stdout as possible output and the context option for simple integration of the result into existing page.
why3html : add stdout as possible output and the context option
for simple integration of the result into existing page.

douglas-larocca/why3,jpdeplaix/why3,jpdeplaix/why3,ssaavedra/why3,ssaavedra/why3,douglas-larocca/why3,douglas-larocca/why3,ssaavedra/why3,jpdeplaix/why3