Updating ace.js to support latest versions of WebKit

Replaced ace.js with latest version as of 2/5/14