update verovio-toolkit.js