Add Documentation/cmd-list.made to .gitignore