New on CTAN: coloredtheorem