Update jsxgraphcore