Change to using S3 rather than Github as CDN for ace.js