PHP library for converting and manipulating colors