Fixed everything

Revised animateRingworldRunner to used fixed axis: we need a way to get
it to scale automatically, but it works for now. It also needs a better
way to control animation speed: mine doesn't work now.