klee-stats

* Refactoring `klee-stats`. This includes changing from `OptionParser` to `ArgumentParser`, rewriting not-pythonic code, respecting PEP8, etc.
* Adding line chart drawing in `klee-stats`. Now users can specify a list of columns and `klee-stats` will call `matplotlib` to draw line charts for these columns against time (only supports a single file now).