Distorted Android

Slight improvement for the Mirror app.

Mirror app finished (well, we still need to get some better bitmap for the girl)

First attempt at the 'Mirror' app.

Fix Lint warnings, correct a lot of comments, adjust EffectListener interface.

Fix a lot of Lint warnings in the apps.

Again change of API. Now instead of the 'DistortedEffects.draw() and DistortedTree.draw()' we have 'DistortedFramebuffer.renderTo()'

Change of names.

Change in the API: we always have to create a DistortedFramebuffer to render to.

onPause(): fix the Save app. All apps should behave correctly now.

onPause(): fix StarWars