Working on the documentation for the new shell commands

- "using.html" converted to AsciiDoc mode
- the shell documentation was split in a separate file and divided into
  two parts: docs for the simple shell and for the advanced shell
  (yet to be written)
improved file type reporting
added documentation about the advanced shell