Fixed some things for Internet Explorer in jgabc.js and propers.js and propers.html