removed missing theme in themes.json / added ace.js over as a CDN / TODO: ace.js locally include for offline use