Print the Jedi version when REPL completion is used

This also makes debugging easier, because people see which completion
they're actually using.
Merge pull request #406 from davidhalter/repl_info

Print the Jedi version when REPL completion is used