Option to disable animations no in TouchGreeder plugin

As discussed with @tmos by e-mail, see last commit in greeder-plugins
for more info.