Add built in resolution changer to android for speedup

[Henrik]

Android only. In PC the corresponding setting is to change the window size... Theoretically we could also change the screen resolution in fullscreen mode on PC but in practice that rarely makes a difference nowadays.