Make jedi work even if not patched when installed.
While I think the primary goal of gnome-builder is to build for Gtk and gi.repository
completion is integral part, It would be nice to support generic python autocompletion.
Also, currently builder gives wrong information of 'jedi not found'
So, may be add another variable such as IS_JEDI_PATCHED and check that for 'gi.repository' imports and completion.
I have attached the modified file. It is not perfect but just to let you know of the idea.jedi_plugin.py