Change Android SDK naming (#263)

At some point Android SDK naming in Idea has changed from for example
"Android 2.3.3 Platform" to "Android API 10 Platform".