Updated ace editor to latest master.

This version contains a fix to make the editor somewhat usable on an
android device. (Tested on Nexus 7).