Various bug fixes for Verovio and adding d3.js for current measure highlighting