Big modeline & color theme refactor

Brand new modeline config in a separate file, define & tweak some colors
by patching solarized theme. Removed both powerline and smart-mode-line,
as they seem to be somewhat broken :(
Fix magit-push-remote-mode loading
Flycheck ocaml