Update for `colors_ral.inc`.

Added previously undefined RAL_8000 colour.