Use ace 01.08.2014 (works better with Safari)

The older version of ace has problems with cursor positioning as described in [ace #1534](https://github.com/ajaxorg/ace/issues/1534).