python auto completion with jedi
+ highlight-symbol-mode
+ theme update
+ refactor