Delete color-theme-library.el