Console colors are now properly reset when exiting the REPL.

Fixes #259.