Update run.sh

Author: ttuegel

docker/run.sh

@@ -1,3 +1,4 @@
 #!/usr/bin/env bash
 # Run command in Docker
-docker run --rm --mount src=$(pwd),target=/home/user/kore,type=bind --workdir=/home/user/kore kore "$@"
+# Usage: ./docker/run.sh make test
+docker run --rm --mount src=$(pwd),target=/home/user/kore,type=bind --workdir=/home/user/kore kore "$@"