Adding Jedi python autocompletion
Latex back to std colors