Update jax.min.js and jax.js.txt