Rose trees (vendored)

Vendored copy of the RoseTree library used by the quasi-Borel space formalization. Defines node-labelled, finitely branching trees together with basic algebraic structure.