Delete a label

A jump label can be deleted by deleting the label name.