GRIM: Verify the game data at the first startup
GRIM: Ask for confirmation before running Grim if the md5 check failed
GRIM: Fix the result returned by MD5CheckDialog
GRIM: Make the progress bar nicer
GRIM: set the result value just before closing
GRIM: Make the progress bar look good on all the themes by pretending it's a slider
GRIM/EMI: Reformat Skeleton-class.
GRIM: Avoid compressing LUA-output Savedata
GRIM: Filter savegame list to avoid EMI-saves polluting it.
Merge pull request #718 from giucam/md5

GRIM: Verify the game data at the first startup
Merge pull request #732 from somaen/doNotCompress

GRIM: Avoid compressing LUA-output Savedata
ANDROID: Enable support for OpenGL ES2
ANDROID: Unpack library from lib/... instead of mylib
ANDROID: Switch renderer to GL ES2
ANDROID: Don't compress assets, skip asset header
GRAPHICS: Introduce Shader object
ANDROID: Add kVirtControls to OSystem_Android
ANDROID: Joystick movement and swipes
ANDROID: Force fullscreen setting to true
ANDROID: Support swipe-based virtcontrols

Touching and holding the left side of the screen functions as a
joystick.
Swiping the middle side allows fine control over arrow keys (eg.
dialogues), tapping it sends an enter key.
Swiping the right side up/down sends pageup/pagedown.