Develop package/registry configs

[gfngfn]

satysfi.yaml:

-language: "0.1.0"
+language: "^0.1.0"
+name: "proof"
+authors:
+  - "Takashi Suwa <@gfngfn>"
 contents:
   type: "library"
   main_module: "Proof"
   source_directories:
     - "./src"
   dependencies:
     - name: "stdlib"
       requirement: "^0.0.1"

foo.satysfi-lock:

+language: "^0.1.0"
 locks:
 ...
 - name: stdlib.0.0.1
   location:
     type: global
     path: ./packages/stdlib/stdlib.0.0.1
   dependencies: []
   test_only: false
+  lock_package_name: stdlib
 ...

registry.yaml:

 packages:
 ...
 - name: "stdlib"
   implementations:
   - version: "0.0.1"
     source:
       type: "tar_gzip"
       url: "https://gfngfn.github.io/temp/stdlib.0.0.1.tar.gz"
+    language: "^0.1.0"
     dependencies: []
 ...