HyperNaut: a navigator for the hyperbolic plane