fixes to Grammar.increment_tree -- now works.
Small tweaks on Performance
Merge branch 'master' of https://github.com/piantado/LOTlib