moving the board list from jsxgraph to jxg