Minor changes to the previous commit

* Add Cmd::Args.size()
* Replace usage of Argc and Argv with [] and size when it is not used
for a command: we might want to introduce a BasicToken and make
Cmd::Args derive from it.
Cmd: add doc