Clean up jsxgraph.css and add copyright note
Clean up and update the JSXCompressor sources