Refactor klee-stats and add simple line chart drawing functionality.
Merge pull request #113 from antiAgainst/klee-stats

klee-stats refactoring and improvement by antiAgainst: "this includes changing from OptionParser to ArgumentParser, rewriting not-pythonic code, respecting PEP8, etc; Adding line chart drawing in klee-stats."