v2.13.0

• [Changed] If a node is initalized as lazy: true, and children: [],
  treat it as 'loaded leaf node'.
  
  This is consistent with a lazy node that has no children property at all (i.e.
  undefined). This would issue a lazyLoad event and a resopnse of [] would
  mark the node as leaf node.
• [Added] new function $.ui.fancytree.getTree()
• [Added] ext-filter methods node.isMatched() and tree.isFilterActive()
• [Added] CSS for ext-childcounter badges is now part of the standard themes
• [Added] ext-childcounter method node.updateCounter()`
• [Fixed] #507 data-hideCheckbox="true"
• [Fixed] #513 activeVisible option does not work on init
• [Fixed] #516 ExtPersist requires cookie.js even when not using cookies
• Commit details.