<ethoc>: Adding support for KLEE.
<ethoc>: Makefile updated.
<ethoc>: Adding KLEE experimental data on the HW/SW model.