Python3fix

Python3 is the default on my system and I'd like things to work even if python3 is the default. The following patches allows KLEE to be built and for tests to pass when using python3 as the default python interpreter (python2.7 is still supported).