Include latest jsxgraphcore.js in distrib.