Adding Agda syntax highlighting and Unicode input.