Separate out Derive module into independent repo/package

[zeptometer]

Derive provides typesetting commands for displaying proof trees. We included Drive in satysfi-base for convenience when we didn't have a package management system.

Now that Satyrographos is widely used in the SATySFi community, it's better to have it as an independent package from satysfi-base. Derive provides a different feature from the core concern of satysfi-base.

[zeptometer]

TODO

• ✅ Create new repo: https://github.com/yabaitechtokyo/satysfi-derive
• ✅ Move code to satysfi-derive
• ✅ Publish satysfi-derive to Satyrographos
• ✅ Remove code from satysfi-base