Remove dependence on the bc tool. Use python instead because we are
already dependent on it.
Merge branch 'remove_bc_dependency' of https://github.com/delcypher/klee