Updated for newer Android versions.

Fixed the problem with server connections due to certificate errors.
The AI should now prefer a quick victory over annihilating the whole enemy army.