Describir: Dimension theory in dynamical systems