slicing: prepare, add support for initial function from env

We can set the initial function via environment variable as of now.
slicing: prepare, proper handling or I/O read

They in fact need to be klee_int -- done in library.