version bump in $.jstree.version