Update ace editor (fixes safari) #487