Remove ANSI escape codes from KLEE output