Web Audio defs file added and updated tone.js defs