Improve animation speed

[TobiasBielefeld]

From an e-mail:

I thought one improvement couple days ago: would it be possible to have animation speed slider or make animations get their speed from Android's animator duration scale? I find them slow some times because I use 0,5x scale animation on my phone.