Updating Ace Editor

Update version to "2014.08.17 Version 1.1.6" of Ace Editor.

This adds new themes and fixes bugs in Ace
Merge pull request #235 from swang/upgrade_to_ace_1.1.6

Updating Ace Editor