added smart-mode-line and changed default theme to monokai