[why3find] print command

Loïc Corrensonrequested to merge
feature/print-command into master

Provides a printer for the internal structure of AST.

Merge request reports