add anaconda alias
update theme for company and idris
recompiled snippets and added some org-mode latex ones
add flyspell-duplicate to theme
add toggle-org-latex-pdf-process function