Distorted Android

Correct a subtle bug iin Framebuffer: in recreate(), we need to mark the FBOs as deleted on GPU; otherwise later we might delete them - and when we do, they might belong to another Framebuffer already!

Fix the fact that Distort was rotating normals outside of its region!

Fix the fact that the Normal and OIT programs would not work after a period of being paused.

1) rename DistortedTexture's setColor to setColorARGB
2) fix the Wiind app to take into account paused time
3) fix the Dynamic so that if a single Dynamic is used more than once (in more than one effect) than it doesn't get adjusted for paused time multiple times.

Fixes for pausing and restarting.

Fixes for pausing and restarting.

Improve setting text size in Spinners (forgotten part).

Fixes for the previous commit.

Only compile the Full, Normal & OIT programs when they are actually needed.

Only insert the 'Mali r12' FBO queue fix if we actually are running on a Mali GPU with driver version <22. (then FBOQueue=4 - unless we manually overide this down to 1 - else, always 1)