tla no longer in kernel jar included
changed back inclusion of tla in kernel jar
Merge branch 'develop' of https://github.com/bendisposto/prob2 into develop