jstree definition file updated

Small fixes and additional comments taken directly from original jstree.js file