Fix function name in tutorial

Rename `klee_make_symbolic_name` to `klee_make_symbolic` in tutorial.