Make Tree.run more versatile

In particular, it was not not possible before to combine the command
line options of the Tree module with other ones in order to have a
complete output (say by Arg.usage).