JXG.Point.normalizeFace() moved to JXG.Options.normalizePointFace()