Switch from Marmalade to MELPA; Add latex-pretty-symbols package