Provide --autoskip options for export and test for use on projects without Skip#211

marcprux wants to merge 1 commit intomainskiptools/skipstone:mainfrom

autoskipskiptools/skipstone:autoskipCopy head branch name to clipboard