Added jedi recipes

A recipe is needed to patch an error that seems to occur only on
Android, even with jedi 0.10 in which it should be fixed.

Author: inclement

pythonforandroid/recipes/jedi/__init__.py

@@ -0,0 +1,18 @@
+
+from pythonforandroid.toolchain import PythonRecipe
+
+
+class JediRecipe(PythonRecipe):
+    # version = 'master'
+    version = 'v0.9.0'
+    url = 'https://github.com/davidhalter/jedi/archive/{version}.tar.gz'
+
+    depends = [('python2', 'python3crystax')]
+
+    patches = ['fix_MergedNamesDict_get.patch']
+    # This apparently should be fixed in jedi 0.10 (not released to
+    # pypi yet), but it still occurs on Android, I could not reproduce
+    # on desktop.
+
+
+recipe = JediRecipe()

pythonforandroid/recipes/jedi/fix_MergedNamesDict_get.patch

@@ -0,0 +1,14 @@
+diff --git a/jedi/parser/fast.py b/jedi/parser/fast.py
+index 35bb855..bc43359 100644
+--- a/jedi/parser/fast.py
++++ b/jedi/parser/fast.py
+@@ -75,7 +75,8 @@ class MergedNamesDict(object):
+         return iter(set(key for dct in self.dicts for key in dct))
+ 
+     def __getitem__(self, value):
+-        return list(chain.from_iterable(dct.get(value, []) for dct in self.dicts))
++        return list(chain.from_iterable((dct[value] if value in dct else []) for dct in self.dicts))
++        # return list(chain.from_iterable(dct.get(value, []) for dct in self.dicts))
+ 
+     def items(self):
+         dct = {}