only activate jedi if we're visiting a python *file*