Removed Ace Editor

Since it's no longer used, I think it's better to remove it.