Jedi for code completetion, and some more python settings