Strip ANSI escape codes (used for colorizing strings in the terminal)