`smart-mode-line` takes care of unique buffer names.
Clean up `init.el`, get monokai theme from Melpa.