SDK: generate system-image.zip in sdk_repo

Also:
- in the images_*_source.props, we can't have the platform
  version name (the human readable string). It's not a valid
  property of the XML.
- disable the included-abi in the platform.

Change-Id: I3db62fde5e436bbe8f8e69eb1495ca4e6b954ba2
diff --git a/sdk/images_x86_source.properties b/sdk/images_x86_source.properties
index 199f5c5..caccb2d 100644
--- a/sdk/images_x86_source.properties
+++ b/sdk/images_x86_source.properties
@@ -1,7 +1,6 @@
 Pkg.Desc=Android SDK Platform 4.0
 Pkg.UserSrc=false
-Platform.Version=4.0
 Pkg.Revision=1
 AndroidVersion.ApiLevel=14
-SystemImage.Abi=x86
 #AndroidVersion.CodeName=
+SystemImage.Abi=x86