Introduces KIF testing framework.
Merge pull request #8 from jeroenleenarts/functional-testing

Introduces KIF testing framework.