[jstree] fixed node select/check bug
[repo del] show the lib name in the popup
[msg] use ajax to send msg; show 'back to top' in user_msg_list