timer.js -> control.js, old animation is now timer

Changed the old timer.js to control.js, and made the old animation
library as the new timer library as it fairly generic timer stuff. All
old timer.js things should be accessable through the new timer.grace.