Added derivation trees; extract them automatically, but has a side
effect bug sometimes;
Merge branch 'master' of https://github.com/fapsi/JTIG.git