Change gen_docs.py to use Release build

Debug build was used previsouly to accelerate the build, but
due to growth of device section, debug build takes longer than
the release build.

Author: oleksandr-pavlyk

scripts/gen_docs.py

@@ -46,7 +46,7 @@ def run(
         sys.executable,
         "setup.py",
         "develop",
-        "--build-type=Debug",
+        "--build-type=Release",
         "--generator=Ninja",
         "--",
         "-DCMAKE_C_COMPILER:PATH=" + c_compiler,