PuTTY palette generator – A tool to easily create custom colour palettes for PuTTY