Add bin/run (for tests)

Author: monadius

bin/run

@@ -0,0 +1,12 @@
+W=/workspace/
+# Create container
+C=$(docker container create --rm -w $W ghcr.io/codewars/lean:latest lean test/SolutionTest.lean)
+
+# Copy files from the current directory
+# src/Solution.lean
+# src/Preloaded.lean
+# test/SolutionTest.lean
+docker container cp ./. $C:$W
+
+# Run tests
+docker container start --attach $C