klee: removed deprecated header klee.h

S2E does not use any of these.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
softmmu: fixed remaining uses of klee_get_value

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>