Android 4.0: Installing and Running Ice Cream Sandwich (ICS) in the Android SDK emulator