A bookmark set management plugin for NERDTree