Add script for running Windows binary from WSL shell

Author: Blackhex

tools/wsl-run.sh

@@ -0,0 +1,9 @@
+#!/bin/bash
+
+source `dirname ${BASH_SOURCE[0]}`/../.github/scripts/config.sh
+
+set +e
+
+echo "Launching $@"
+WSLENV="$WSLENV:PATH/p" $@
+echo "Result: $?"