Add spell checking in the Ace JS editor