PLATFORMS.md: Add Android.