Significant new improvements to Google's IDE for Android dev