Produce colored spec output on Windows console.

Use colorama (https://pypi.python.org/pypi/colorama) to get colored
output for spec.py also on Windows console.