Distorted Android

Improve debugging in DistortedScreen

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.