Using try-except to import package and give hints when failed.
Make klee-stats python3 compatible. Basically just covert the
iterators returned by 'map' and 'zip' into lists.