A tree widget for jQuery UI