Make unittests use the python runner
Merge pull request #22 from klee-web/unittest_runner

Make unittests use the python runner