This adds a slider that allows the duration of the mandala animation to be changed (for #71). In so doing, it also decouples the animation speed from the display's refresh rate.