Add a menu to add/edit/remove user labels in the options page

Edited by Bauke