xcolors2console: awk script to translate an xcolors colorscheme to console codes that set the console colorscheme