Various tweaks.
Change prezto theme back to sorin due to paradox bugs.