Updated to latest version of ace.js