Consider the label offset for integral labels

Fixes https://groups.google.com/d/msg/jsxgraph/SemTUocagN4/kRoiiLHm-tEJ