added kernelc semantics

In the tutorial, we called this folder `tests` instead of `examples`, and we had a `ktest` file `config.xml` there.  I would do the same here, for consistency.