Removed UnicodeSyntax language extension

See https://github.com/agda/agda/commit/4349a8729ed213087ea141acf039fd8c27e0a3a8#commitcomment-8181490.