Merge pull request #21 from ChrisBoesch/master

updating my repo..
Merge branch 'master' of https://github.com/ChrisBoesch/kat-gui