Animations option in TouchGreeder plugin

As discussed with @tmos by e-mail, the option to enable / disable
animations is now in the TouchGreeder plugin as it is the only one to
use it.