one-ml: Change stdlib install path

This makes the formula much less likely to accidentally collide with
another formula.

Closes Homebrew/homebrew#37819.

Signed-off-by: Mike McQuaid <mike@mikemcquaid.com>

Formula/one-ml.rb

@@ -2,6 +2,7 @@ class OneMl < Formula
   homepage "https://www.mpi-sws.org/~rossberg/1ml/"
   url "https://www.mpi-sws.org/~rossberg/1ml/1ml-0.1.zip"
   sha256 "64c40c497f48355811fc198a2f515d46c1bb5031957b87f6a297822b07bb9c9a"
+  revision 1
 
   bottle do
     cellar :any
@@ -15,11 +16,11 @@ class OneMl < Formula
   def install
     system "make"
     bin.install "1ml"
-    (share/"std").install Dir.glob("*.1ml")
+    (share/"one-ml/stdlib").install Dir.glob("*.1ml")
     doc.install "README.txt"
   end
 
   test do
-    system "#{bin}/1ml", "#{share}/std/prelude.1ml", "#{share}/std/paper.1ml"
+    system "#{bin}/1ml", "#{share}/one-ml/stdlib/prelude.1ml", "#{share}/one-ml/stdlib/paper.1ml"
   end
 end