Windows fixes/workarounds: console colors, utf8 output, get proper terminal width