Describir: A Gyrovector Space Approach to Hyperbolic Geometry