http://ace.ajax.org - typescript definition