Animation.speed added. You can now change the animation speed on the fly, without re-starting the animation (feature request #458)