Bugfix label attributes handling

In case there is no label subelement in JXG.Options for a specified element the label attributes given by the user were discarded.