Emacs sync repo. Mostly prelude stuff with some additions