a DocInfo can now retrieve the filename of the document...
make fileinfo.includefiles use a docinfo as first argument.

now there is no difference anymore between looking for the included files of a document or a file on disk, because it is handled via DocInfo
make basenames handling simpler