Print the Jedi version when REPL completion is used
Print the Jedi version when REPL completion is used

This also makes debugging easier, because people see which completion
they're actually using.

mfussenegger/jedi,jonashaag/jedi,tjwei/jedi,flurischt/jedi,jonashaag/jedi,WoLpH/jedi,dwillmer/jedi,flurischt/jedi,tjwei/jedi,dwillmer/jedi,WoLpH/jedi,mfussenegger/jedi