correctly encode jsxgraph as utf-8

The navigation symbols are unicode characters, and I had incorrectly copied the jsxgraph source as ISO-8859-1 because Chrome uses that to display plain text files!