Add option "path" to documentlist

I implement the option "path" to set or get the current path of the
documentlist widget.  Furthermore, I add missing documentation comments.