Update documentation generation to latest AutoDoc

Note that ListOfDocFiles.g now is only needed by maketest.g