Extend batch file to use run commands

src/Tools/run_cargo.bat

@@ -11,6 +11,8 @@ IF %4 == linux (
     set target=x86_64-unknown-linux-musl
 )
 
+IF defined CARGO_RUN_ARGS set run_args=-- %CARGO_RUN_ARGS%
+
 IF %2 == build set run_build=1
 IF %2 == test  set run_build=1
 
@@ -28,7 +30,7 @@ IF defined run_build (
 
 IF %2 == run (
     echo cargo run %1 --%3
-    cargo run --%3 --target=%target%
+    cargo run --%3 --target=%target% %run_args%
 
     exit /B %ERRORLEVEL%
 )