Refactor klee-stats and add simple line chart drawing functionality.