[dist] Save android api into dist_info.json

So we can later check if the dist was created with an different `android api`

Author: opacam

pythonforandroid/distribution.py

@@ -22,6 +22,7 @@ class Distribution(object):
     url = None
     dist_dir = None  # Where the dist dir ultimately is. Should not be None.
     ndk_api = None
+    android_api = None
 
     archs = []
     '''The arch targets that the dist is built for.'''
@@ -214,6 +215,7 @@ def save_info(self, dirn):
                            'bootstrap': self.ctx.bootstrap.name,
                            'archs': [arch.arch for arch in self.ctx.archs],
                            'ndk_api': self.ctx.ndk_api,
+                           'android_api': self.ctx.android_api,
                            'use_setup_py': self.ctx.use_setup_py,
                            'recipes': self.ctx.recipe_build_order + self.ctx.python_modules,
                            'hostpython': self.ctx.hostpython,