Merge pull request #17 from ChrisBoesch/master

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