updated version to 0.4.2-SNAPSHOT
Merge branch 'master' of git://github.com/jingwei/krati