fix: execute.sh for git bash

Author: pmbittner

replication/splc23-views/execute.sh

@@ -5,4 +5,4 @@ cd "$(dirname "${BASH_SOURCE[0]}")" || exit
 if [[ $# -gt 0 ]]; then
 echo "Executing $1"
 fi
-docker run --rm -v "$(pwd)/results":"/home/sherlock/results" diff-detective-views "$@"
+MSYS_NO_PATHCONV=1 docker run --rm -v "$(pwd)/results":"/home/sherlock/results" diff-detective-views "$@"