Import dart.js into HTML files to make demos work on normal browsers