Undocumented feature, testing purposes only: Make animation timer interval settable via user defaults. Allows setting of maximum desired framerate on the fly.