[doit] rename dodo.py to do.py and make it executable

.github/workflows/Documentation.yml

@@ -97,4 +97,4 @@ jobs:
       run: pip install doit
 
     - name: '🚀 Deploy to GitHub-Pages'
-      run: doit DeployToGitHubPages "update ${{ github.sha }}"
+      run: ./do.py DeployToGitHubPages "update ${{ github.sha }}"

do.py

@@ -1,10 +1,14 @@
+#!/usr/bin/env python3
+
 # doit
 
-from sys import executable
+from sys import executable, argv as sys_argv, exit as sys_exit
 from os import environ
 from pathlib import Path
 
 from doit.action import CmdAction
+from doit.cmd_base import ModuleTaskLoader
+from doit.doit_cmd import DoitMain
 
 DOIT_CONFIG = {"verbosity": 2, "action_string_formatting": "both"}
 
@@ -30,3 +34,7 @@ def task_DeployToGitHubPages():
         "doc": "Create a clean branch in subdir 'public' and push to branch 'gh-pages'",
         "pos_arg": "posargs",
     }
+
+
+if __name__ == '__main__':
+    sys_exit(DoitMain(ModuleTaskLoader(globals())).run(sys_argv[1:]))