add syntax highlighting to Alloy editor