Describir: Chromatic polynomials and chromaticity of graphs