Separate saphe from satysfi

[gfngfn]

TODO:

• Saphe:
  • Write satysfi-envelope.yaml for libraries during $ saphe solve
  • Develop used_as
  • Modify math for font packages
  • Write satysfi-deps.yaml before building when $ saphe build is invoked
  • Support $ saphe build for packages
  • Support $ saphe build for documents
  • Support $ saphe test for packages
  • Refactor the solver about registry local names
  • Initialize the store root config when nonexistent
  • Support $ saphe init
  • Separate $ saphe update from $ saphe solve
  • Re-support Markdown inputs
  • Take used_as into consideration when building
• SATySFi:
  • Load satysfi-deps.yaml
  • Load satysfi-envelope.yaml
  • Support $ satysfi build document
  • Support $ satysfi build package
  • Support $ satysfi test package
• Other:
  • Migrate unit tests
  • Modify how to handle direct sums in YAML
  • Register fixed packages (other than md-ja)
  • Register md-ja
  • Migrate demo/
  • Migrate doc/
  • Migrate integration tests in tests/ other than md-ja
  • Migrate integration tests using md-ja
  • Modify the registry format by introducing per-package release configs
  • Allow semver strings to have a suffix starting with -
  • Abolish hyph/
  • Abolish unidata/
  • Make package releases able to depend on packages of other registries
  • Allow semver suffixes
  • Add _build/ directory for hiding intermediate files (specifically, {doc.,}satysfi-deps.yaml and doc.satysfi-aux.yaml)
  • Basics of cache-handling operations

Nested PRs:

• Introduce local packages to Saphe #429
• Change the package config format #430
• Separate ErrorReporting from frontend/main.ml #432
• Modify the registry format #433
• Support semver prerelease #434
• Separate eval_document_file to BuildDocument module #435
• Develop how to load files in packages and use it for handling hyphenation dictionaries #436
• Remove ~/.saphe/unidata/ and develop unidata package #437
• Allow external dependencies in registries #443
• Set versions to 0.1.0-alpha.1 #444
• (For 0.1.0-alpha.1) Refine Stdlib’s interface #450
• Refine testing mechanism #451
• Refine dump files #452
• Introduce the intermediate directory for deps configs and dump files #455
• Modify cache file organization and add subcommand saphe cache list #456
• Refactor sapheMain.ml #457
• Refactor configs and paths #458
• Fix PackageConstraintSolver about name clashes of packages from different registries #460
• Add --verbose and --quiet #461
• Adjust the interface of Stdlib #462
• Add the syntax for quantifiers to value bindings #463
• Fix paddings of inline-frame-outer #464
• Extend Stdlib.{String,List} #465

Possible future improvements:

• Make registry: "default" omissible
• Make the system more robust (e.g. recovery from errors that happened during a prior execution)
• Operations for purging cache files