Migrate juvix.yaml to Package.juvix (#89)

This PR migrates the `juvix.yaml` files for the stdlib and its test
package.

* Part of anoma/juvix#2487

Package.juvix

@@ -0,0 +1,9 @@
+module Package;
+
+import PackageDescription.V1 open;
+
+package : Package :=
+  defaultPackage
+    {name := "stdlib";
+     version := mkVersion 0 0 1;
+     dependencies := []};

test/Package.juvix

@@ -0,0 +1,13 @@
+module Package;
+
+import PackageDescription.V1 open;
+
+package : Package :=
+  defaultPackage
+    {name := "stdlib-test";
+     dependencies := [ path "../"
+                     ; github
+                       "anoma"
+                       "juvix-quickcheck"
+                       "45981b666b67f8ceb7e01ff2b518165efc08f70c"
+                     ]};

test/juvix.lock.yaml

@@ -1,13 +1,13 @@
-# This file was autogenerated by Juvix version 0.5.2.
+# This file was autogenerated by Juvix version 0.5.3.
 # Do not edit this file manually.
 
 dependencies:
 - path: ../
   dependencies: []
 - git:
-    name: quickcheck
+    name: anoma_juvix-quickcheck
     ref: 45981b666b67f8ceb7e01ff2b518165efc08f70c
-    url: https://github.com/anoma/juvix-quickcheck.git
+    url: https://github.com/anoma/juvix-quickcheck
   dependencies:
   - git:
       name: stdlib