Update to Ace Editor build from 02/Dec/2013
Update to TinyMCE 4.0.12