^D and ^C both reset terminal colors; fixes #3