[docTools] generate index.txt (file that contains the url of the documentation pages, could be useful for quick documentation overview, e.g. for confluence )