Readded leuven-theme, cleanup of unused company-mode config.