Retrieve ACE Editor v1.1.2 since the latest master does not work in IE8